PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd comp init wf 1 2 2 1 1
1. Alph: Type
2. St: Type
3. q: St
4. ||[ < q,nil > ]||
5. i:
6. 0 i < ||[ < q,nil > ]||-1

||2of([ < q,nil > ][i])|| > 0
By: Reduce 6
Generated subgoals:

None

About:
conspairnilnatural_numberuniversememberintsubtract