Sigui un autòmat determinista, i siguin configuracions d'. Diem que produeix en un pas de còmput si i només si . En aquest cas escrivim . Diem que produeix si i només si existeixen configuracions tals que . En aquest cas escrivim .
Sigui un autòmat determinista, i siguin configuracions d'. Diem que produeix en un pas de còmput si i només si . En aquest cas escrivim . Diem que produeix si i només si existeixen configuracions tals que . En aquest cas escrivim .