
Sbírka odkazů na různé materiály je zde: http://www.fi.muni.cz/usr/kretinsky/fja1.html
Já jsem se formály a automaty učil z toho prvního PDF (Křetínský, Černá, Kučera), možná ti bude milejší něco jiného.
K jedničce: napíšeme si pár slov, které gramatika generuje a z nich snadno nahlédneme, že lze jazyk popsat regulárním výrazem, jde o regulární jazyk.
Ke dvojce: stav s2 je peklo, když se do něj dostaneme, už se nevyhrabeme. Vyhovující slovo musí proto začínat nulou, následovat musí samé jedničky (na počtu nezáleží). Slova samých jedniček vyrábí neterminál X daný předpisem

neterminál popisující celý jazyk je proto
.
Offline

↑ Rony: Uvážíme-li, jaká slova generuje neterminál A (viz můj předchozí příspěvek), mělo by být zřejmé, že nemáš pravdu.
Offline