; ** p11.stax ************************************************
; STAX program to accept the language { w | w contains 3*|0|=|1| }
; 
; John Haskins, Jr.
; l'Universite de Virginie (University of Virginia)
; predator@cs.virginia.edu
; -----------------------------------------------------------

	.input_alphabet		"01"
	.stack_alphabet		"ab"


qinit0:
	accept
	$, -, nop, qdone
	-, -, push[0]:$, qinit1

qinit1:
	accept
	$, -, nop, qdone
	-, -, push[1]:$, q1

q1:
	deny
	'0', -, push[0]:'a', q1
	'1', -, push[1]:'b', q1
	$, -, nop, q2

q2:
	deny
	-, 'a'[0], pop[0], q3

q3:
	deny
	-, 'b'[1], pop[1], q4

q4:
	deny
	-, 'b'[1], pop[1], q5

q5:
	deny
	-, 'b'[1], pop[1], q6

q6:
	deny
	-, $[0], nop, q7
	-, 'a'[0], nop, q2

q7:
	deny
	-, $[1], nop, qdone
	-, 'b'[1], nop, q2

qdone:
	accept
	halt