answersLogoWhite

0

Infinite word automatons, invented by Buchi in the sixties, were used for reasoning about logic. Today they are used for formal verification of systems.

User Avatar

Wiki User

14y ago

Still curious? Ask our experts.

Chat with our AI personalities

FranFran
I've made my fair share of mistakes, and if I can help you avoid a few, I'd sure like to try.
Chat with Fran
BeauBeau
You're doing better than you think!
Chat with Beau
LaoLao
The path is yours to walk; I am only here to hold up a mirror.
Chat with Lao

Add your answer:

Earn +20 pts
Q: What is an infinite word automaton good for?
Write your answer...
Submit
Still have questions?
magnify glass
imp