scientific article; zbMATH DE number 1047870
From MaRDI portal
Publication:4347948
zbMath0875.03081MaRDI QIDQ4347948
Danièle Beauquier, Jean-Eric Pin
Publication date: 26 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatadecidabilityclasses of languages recognized by scannerseffective characterizationlogic of successormodel of computation requirring only local information
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Decidability of theories and sets of sentences (03B25)
This page was built for publication: