Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
lfa:lab12 [2021/01/07 17:34] dmihai |
lfa:lab12 [2021/01/11 10:54] (current) dmihai |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| </note> | </note> | ||
| - | 1. Scrieți o Mașină Turing care incrementează la nesfârșit un contor binar. Cel mai semnificativ bit este cel mai din **stânga**. Banda e inițializată cu un singur simbol ''0''. | + | 1. Scrieți o Mașină Turing care primește ca input un șir binar arbitrar și îl mută mai la dreapta cu două poziții. |
| - | + | ||
| - | 2. Scrieți o Mașină Turing care primește ca input un șir binar arbitrar și îl mută mai la dreapta cu două poziții. | + | |
| <note> | <note> | ||
| Line 28: | Line 26: | ||
| </note> | </note> | ||
| + | |||
| + | 2. Scrieți o Mașină Turing care incrementează la nesfârșit un contor binar. Cel mai semnificativ bit este cel mai din **stânga**. Banda e inițializată cu un singur simbol ''0''. | ||
| 3. Scrieți o Mașină Turing care acceptă limbajul $ L = \{ w\_w \mid w \in \{0, 1\}^* \}$ | 3. Scrieți o Mașină Turing care acceptă limbajul $ L = \{ w\_w \mid w \in \{0, 1\}^* \}$ | ||
| Line 41: | Line 41: | ||
| </note> | </note> | ||
| - | 5. Demonstrați că un Automat Finit Nedeterminist echipat cu o **coadă** (adică un APD cu coadă, nu cu stivă) recunoaște aceeași clasă de limbaje ca o Mașină Turing. | + | 5. Demonstrați că un Automat Finit echipat cu o **coadă** (adică un APD cu coadă, nu cu stivă) recunoaște aceeași clasă de limbaje ca o Mașină Turing. |