Revision history [back]

Může tam být cokoliv, co se dělalo na cvičeních až po převody formálních systémů pro regulární jazyky. To znamená:

• návrh regulárních i bezkontextových gramatik (bylo na 1. cvičení)
• návrh konečných automatů
• operace s konečnými automaty (průnik, sjednocení, doplněk, atd.)
• úprava konečných automatů - ε-přechody, determinizace, minimalizace
• regulární výrazy (rovnice, derivace, atd.)
• převody mezi regulárními gramatikami, regulárními výrazy, konečnými automaty

Takže toho není tolik. :)