A medvedev characterization of sets recognized by generalized finite automata

DOI10.1007/BF01706094MaRDI QIDQ5682255zbMATH OpenOpenAlexFDO

Authors O. L. Costich

Publication date 1972

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01706094

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Cites work

• Generalized finite automata theory with an application to a decision problem of second-order logic

Cited in

(3)

• On the equivalence of recursive and nonrecursive Datalog programs
• Classes of formal grammars
• Decidable containment of recursive queries

This page was built for publication: A medvedev characterization of sets recognized by generalized finite automata

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