The isomorphism problem for FST injection structures

DOI10.1007/978-3-030-93100-1_3MaRDI QIDQ2151392zbMATH OpenOpenAlexFDO

Authors Douglas Cenzer, Richard Krogman

Publication date 1 July 2022

Full work available at URL https://doi.org/10.1007/978-3-030-93100-1_3

zbMATH Keywords

automatic structurescomputability theoryfinite state automatafinite state transducersinjection structures

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• On the isomorphism problem of  -Farey maps
• On the isomorphism problem for finite dimensional diagram algebras
• On the isomorphism problem for some classes of computable algebraic structures
• scientific article; zbMATH DE number 4154700
• Isomorphisms for convergence structures
• The isomorphism problem for incidence rings
• The isomorphism problem for incidence rings
• Isomorphism Invariants for Projective Configurations
• Isomorphism of homogeneous structures

Cites work

• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• Automatic Structures: Richness and Limitations
• Automatic linear orders and trees
• Automatic presentations of structures
• Complexity and categoricity of injection structures induced by finite state transducers
• Computability-theoretic properties of injection structures
• Deciding the isomorphism problem in classes of unary automatic structures
• Effective categoricity of equivalence structures
• Finite presentations of infinite structures: Automata and interpretations
• Injection Structures Specified by Finite State Transducers
• Model-theoretic complexity of automatic structures
• The isomorphism problem on classes of automatic structures with transitive relations
• Unary automatic graphs: an algorithmic perspective
• \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures

This page was built for publication: The isomorphism problem for FST injection structures

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