Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Using a categorical model of abstract data types [2,3,13,15], we show, following the Kozen's technique [10] and Tarjan's constructions for a deterministic automaton [16], that if two unambiguous regular expressions define the same regular language, then they represent two isomorphic abstract data types.
Wydawca
Czasopismo
Rocznik
Tom
Strony
53--77
Opis fizyczny
bibliogr. 16 poz.
Twórcy
autor
- Turku Centre for Computer Science Data City, Lemminkäisenkatu 14A, FIN-20520 Turku, Finland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0069