Automata on linear orderings

Kleene like theorems

• Scattered orderings
• Hierarchy of automata
• All orderings

• Scattered orderings of finite ranks
• All countable scattered orderings

Links with trees

• Decidability of inclusion

Accessibilty

• Scattered orderings