; ** p4.stax ************************************************
; STAX program to accept the language { ww | |w| >= 0 }
; 
; John Haskins, Jr.
; l'Universite de Virginie (University of Virginia)
; jwh6q@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[1]:'a', q1
	'0', -, push[1]:'a', q2
	'1', -, push[1]:'b', q1
	'1', -, push[1]:'b', q2
q2:
	deny
	-, 'a'[1], push[0]:'a', q3
	-, 'b'[1], push[0]:'b', q3
	-, $[1], nop, q4
q3:
	deny
	-, 'a'[1], pop[1], q2
	-, 'b'[1], pop[1], q2
	-, $[1], nop, q4
q4:
	deny
	'0', 'a'[0], pop[0], q4
	'1', 'b'[0], pop[0], q4
	$, $[0], pop[0], qdone

qdone:
	accept
	halt