Taxonomy of red-automata motivated by error localization

Abstrakt

We describe a taxonomy of red-automata based on error localization

Klíčová slova

• Taxonomy of red-automata
• error localization