Jump to content

Draft:Returning Finite Automaton

From Wikipedia, the free encyclopedia



In the theory of computation, a branch of theoretical computer science, a returning finite automaton (RFA) — is a picture automaton that accepts or rejects a two-dimenstional string, called apicture, by running through a state sequence uniquely determined by the string. It was introduced by ...

Formal definition

[edit]

A returning finite automaton M is a 6-tuple, (Q, Σ, δ, q0, F), consisting of

  • a finite set of states Q
  • a finite set of input symbols called the alphabet Σ
  • a transition function δ : Q × Σ → Q
  • an initial (or start) state
  • a set of accepting (or final) states
  • a special symbol # not in Σ


Example

[edit]

Applications

[edit]

Learning picture automata [1] ...


References

[edit]
  1. ^ David Kuboň, František Mráz, Ivan Rychtera (01 01 2022), "Learning Automata Using Dimensional Reduction", Lecture notes in computer science, pp. 41–52, doi:10.1007/978-3-031-22419-5_4 {{citation}}: Check date values in: |date= (help)CS1 maint: multiple names: authors list (link)