Weighted restarting automata

Restarting automata have been introduced as a formal model for the linguistic technique of analysis by reduction, which can be used to check the corre...
9 downloads 4747 Views 564KB Size