Comparison of two-sided automata with respect to operating time and decidability in the problem of functional equivalence in a certain class of discrete transducers and program schemes over memory

Shukuryan, S. K.

doi:10.1007/bf01073301

Cited by 1 publication

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We plan very next to consider extensions of the technique suggested in [24] for reversible one tape MMFA for reducing the consideration of analytics for such automata to the case considered in the current publication.…”

Section: Monitoring Behavior Of Cellular and Self-replicating Automatamentioning

confidence: 99%

Analytics for AI Related Applications of Multidimensional Multitape Finite Automata

Shoukourian,

Grigoryan,

Amirkhanyan

2024

Frontiers in Artificial Intelligence and Applications

View full text Add to dashboard Cite

A special binary representation/coding of an element in a free partially commutative monoid initially introduced in 1980 has been successfully used as a basis for the effective/polynomial solution of the following long standing open problems: functional equivalence of program schemata with non-degenerate operators, equivalence of deterministic multitape finite automata (MFA), equivalence of deterministic multidimensional multitape finite automata (MMFA), regular expressions for MFA, systems of equations for MFA regular sets. In addition, the consideration of the coding leads to an alternative characterization of commutation classes in free partially commutative monoids, which, in comparison with the already known characterization implying from the projection lemma, brings to a better efficiency when checking the equality of traces with lengths longer than a certain number or with alphabets containing more than two symbols. Regular expressions for languages of MFA and MMFA are also defined based on the mentioned coding. A brief overview of relevant AI applications concludes considerations.

show abstract

Section: Monitoring Behavior Of Cellular and Self-replicating Automatamentioning

confidence: 99%

Analytics for AI Related Applications of Multidimensional Multitape Finite Automata

Shoukourian,

Grigoryan,

Amirkhanyan

2024

Frontiers in Artificial Intelligence and Applications

View full text Add to dashboard Cite

show abstract

Comparison of two-sided automata with respect to operating time and decidability in the problem of functional equivalence in a certain class of discrete transducers and program schemes over memory

Cited by 1 publication

References 3 publications

Analytics for AI Related Applications of Multidimensional Multitape Finite Automata

Analytics for AI Related Applications of Multidimensional Multitape Finite Automata

Contact Info

Product

Resources

About