0

Does there exist a general approach in mainstream academia for representing a deterministic infinite automata? Unlike the finite kind, this one with infinite number of states.

Although there is infinite state. There is a finite number of types of states. E.g. state $inBrackets_k$ goes to state has an edge leading to $inBrackets_{k+1}$ when receiving input '('. $inBrackets$ can be considered the class/type of those infinity many states. (Thats a language of balanced brackets handle by deterministic infinite state machine example).

Further more. Could deterministic infinite automata be minimised. I.E. Minimise the number of types of states, using the same approach we use for the finite kind?

clinux
  • 257
  • 1
  • 7

2 Answers2

3

As Yuval Filmus explains, every language can be recognized by an infinite-state DFA. So, it is not a concept that is of much interest in computability and automata theory.

Of course you can represent an infinite-state DFA using the same mathematical formulation as a finite-state DFA. The standard definition of a DFA says that it is a tuple $(Q,\Sigma,\delta,q_0,F)$ where $Q$ is a finite set of states, etc. If you simply allow $Q$ to be infinite but keep everything else the same, you can use the same formulation to represent an infinite-state DFA. So no special approach is needed.

Minimization requires some care to define, as all countably infinite sets have the same cardinality.

I wonder if you're actually looking for the notion of a pushdown automaton.

D.W.
  • 167,959
  • 22
  • 232
  • 500
0

Besides what has been said, I wonder: what kind of real physical device would such a thing (a deterministic infinite automata) modelize?

I mean, a Turing machine has an infinity of possible states but at least you can start running it with a bounded memory (limiting it to $n$ reachable states), then after some run time if you have exhausted the memory you can "buy more RAM" and rerun the machine with $n^2$ reachable states and so on.

That's why it is sometimes called an unbounded memory model of computation (not infinite).

Unless you assume more about the infinite states automata (like you have a function which bounds the number of accessible states after n steps), you would have to provide an infinite amount of memory right from the start... and that is not physically possible.

Weier
  • 253
  • 1
  • 7