Publication:3870328
From MaRDI portal
zbMath0432.68055MaRDI QIDQ3870328
Publication date: 1979
equivalence problem; closure of Boolean automata under efficient complementation; intractable complexity; tractable complexity; unrestricted regular expressions
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions