scientific article; zbMATH DE number 1047870

MaRDI QIDQ4347948zbMATH OpenFDO

Authors Danièle Beauquier, Jean-Éric Pin

Publication date 26 October 1997

zbMATH Keywords

automatadecidabilityclasses of languages recognized by scannerseffective characterizationlogic of successormodel of computation requirring only local information

Mathematics Subject Classification ID

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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4347948)