Undecidability of the completeness and A-completeness problems for some systems of automaton functions (Q4857009)
From MaRDI portal
scientific article; zbMATH DE number 823663
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of the completeness and A-completeness problems for some systems of automaton functions |
scientific article; zbMATH DE number 823663 |
Statements
Undecidability of the completeness and A-completeness problems for some systems of automaton functions (English)
0 references
15 January 1996
0 references
algorithmic undecidability
0 references
\(A\)-completeness problem
0 references
automaton function
0 references
completeness problem
0 references
