1981/01/01 by Ernst L. Leiss, Ernst Leiss · 119 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Algebra over a field #Algorithm #Automata theory #Automaton #Boolean expression #Boolean function #Büchi automaton #Combinatorics #Computer science #DFA minimization #DNA and Biological Computing #Deterministic automaton #Deterministic finite automaton #Discrete mathematics #Finite-state machine #Formal Methods in Verification #Mathematics #Nested word #Nondeterministic algorithm #Nondeterministic finite automaton #Product term #Pure mathematics #Quantum finite automata #Regular language #Succinctness #Theoretical computer science #Two-element Boolean algebra #Two-way deterministic finite automaton #semigroups and automata theory #ω-automaton
paper · pdf · doi:10.1016/s0304-3975(81)80005-9
published in Theoretical Computer Science 13(3), 323-330 (Elsevier BV)
crossref issued 1981/01/01 · crossref published 1981/01/01 · crossref published-print 1981/01/01 · openalex publication_date 1981/01/01 · crossref created 2007/01/06 · crossref deposited 2019/01/10 · openalex created_date 2025/10/10 · crossref indexed 2026/02/13 · openalex updated_date 2026/07/31