Analizator składniowy generowany przez Yacca/Bisona to rodzaj automatu stosowego?

Determinizacja automatu skończonego może spowodować wykładniczą eksplozję liczby stanów?

Dla każdego języka regularnego istnieje rozpoznający go automat skończony?

Eliminacja e-przejść w automacie skończonym może spowodować kwadratowy wzrost liczby krawędzi?

Gramatyki liniowe opisują języki regularne?

Jeśli języki A i Ā są częściowo obliczalne, to są obliczalne?

Jeśli język A jest obliczalny to Ā też jest obliczalny?

Jeśli gramatyka jest jednoznaczna to każde słowo, które można z niej wyprowadzić ma tylko jedno drzewo wyprowadzeń?