scientific article; zbMATH DE number 2032360

MaRDI QIDQ4446202zbMATH OpenFDO

Authors Dmitriĭ Nikolaevich Babin

Publication date 26 January 2004

zbMATH Keywords

automata functionBoolean functionPost class

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05) Boolean functions (06E30)

Recommendations

• Solvability of the problem of completeness of automaton basis depending on its Boolean part
• Undecidability of the completeness and A-completeness problems for some systems of automaton functions
• On the completeness of systems of finite automata
• scientific article; zbMATH DE number 468641
• scientific article; zbMATH DE number 3988715

Cited in

(16)

• On the classification of Post automaton bases according to the decidability of the completeness and \(A\)-completeness problems
• Solvability of the problem of completeness of automaton basis depending on its Boolean part
• On the classification of bases in \(P_k\) according to the decidability of the completeness problem for automata
• scientific article; zbMATH DE number 3854421 (Why is no real title available?)
• scientific article; zbMATH DE number 5005932 (Why is no real title available?)
• scientific article; zbMATH DE number 6515829 (Why is no real title available?)
• scientific article; zbMATH DE number 3924150 (Why is no real title available?)
• scientific article; zbMATH DE number 3988715 (Why is no real title available?)
• scientific article; zbMATH DE number 4104395 (Why is no real title available?)
• scientific article; zbMATH DE number 1268706 (Why is no real title available?)
• scientific article; zbMATH DE number 468641 (Why is no real title available?)
• scientific article; zbMATH DE number 702897 (Why is no real title available?)
• On the edge-independence number and edge-covering number for regular graphs
• On algorithmic solvability of the \(A\)-completeness problem for systems of boundedly determinate functions containing all one-place boundedly determinate \(S\)-functions
• Assisted Problem Solving and Decompositions of Finite Automata
• scientific article; zbMATH DE number 3219607 (Why is no real title available?)

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 Q4446202)