Search Results - AUTOMATA THEORY

Refine Results
  1. 1
  2. 2
  3. 3

    Cellular automata in operational probabilistic theories by Paolo Perinotti

    Published in Quantum (2020-07-01)
    “…The theory of cellular automata in operational probabilistic theories is developed. …”
    Get full text
    Article
  4. 4

    Coalgebraic Automata Theory: Basic Results by C. Kupke, Y. Venema

    Published in Logical Methods in Computer Science (2008-11-01)
    “…We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. …”
    Get full text
    Article
  5. 5
  6. 6

    Finite state automata in the theory of algebraic program schemata by R. I. Podlovchenko

    “…Our decision techniques are based on the approach to the equivalence checking problem for finite state automata. The aim of this paper is to reveal this relationship.…”
    Get full text
    Article
  7. 7
  8. 8
  9. 9

    Automation of Algorithmic Tasks for Virtual Laboratories Based on Automata Theory by Evgeniy A. Efimchik, Mikhail S. Chezhin, Andrey V. Lyamin

    Published in EAI Endorsed Transactions on e-Learning (2016-03-01)
    “…In the work a description of an automata model of standard algorithm for constructing a correct solution of algorithmic tests is given. …”
    Get full text
    Article
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14

    History-Register Automata by Radu Grigore, Nikos Tzevelekos

    Published in Logical Methods in Computer Science (2016-03-01)
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  15. 15

    Logic and Branching Automata by Bedon Nicolas

    Published in Logical Methods in Computer Science (2015-10-01)
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  16. 16

    Inferring Symbolic Automata by Dana Fisman, Hadar Frenkel, Sandra Zilles

    Published in Logical Methods in Computer Science (2023-04-01)
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  17. 17
  18. 18
  19. 19
  20. 20

    THE APPLICATION OF GRAPH THEORY AND AUTOMATA TO SOLVE DYNAMICS PROBLEMS STEINEBACH SYSTEM by O. S. Raspopov

    Published in Nauka ta progres transportu (2010-05-01)
    “…On the basis of conducted analysis of scientific literature it is noted that the theorems and algorithms used in theories of graphs and automata can serve as a basis for the refinement and development of generally accepted theories and methods in the mechanics of beam systems.…”
    Get full text
    Article

Search Tools: