483, twierdzenie 4.2..
Rozważając wszystkie pochodne uogólnionego wyrażenia regularnego stałej długości otrzymuje się skończenie wiele różnych języków. Jeśli ich liczba określona jest przez wszystkie te języki można otrzymać jako pochodne względem ciągu znaków długości mniejszej niż Brzozowski (1964), s. 484, twierdzenie 4.3.. Ponadto istnieje kompletny deterministyczny automat skończony o liczbie stanów rozpoznający język regularny określony przez zgodnie z twierdzeniem Myhilla-Nerode’a.
Przypisy
Kategoria:Języki formalne