Charles Explorer logo
🇨🇿

Víceznačnost pomocí restartovacích automatů

Publikace na Matematicko-fyzikální fakulta |
2007

Abstrakt

Restartovací automaty lze studovat jako automaty i jako regulované přepisovací systémy. V práci se zavádí míra víceznačnosti pro restartovací automaty, které rozpoznávají jazyky pomocí projekce z jejich charakteristických jazyků (obsahujících též pomocné symboly) na jazyky složené pouze ze vstupních symbolů. Na této míře je založena míra víceznačnosti jazyků.

Je ukázáno, že tuto míru lze považovat za míru nedeterminismu jazyků. Hlavním výsledkem je důkaz existence nekonečné škály tříd jazyků podle stupně jejich víceznačnosti a existence jazyků s lineární vzrůstem víceznačnosti s ohledem na růst délky jejich vět (slov).