; ** p1.stax ************************************************
; STAX program to accept the language { 0^n1^n | n >= 0 }
; 
; John Haskins, Jr.
; l'Universite de Virginie (University of Virginia)
; jwh6q@virginia.edu
; -----------------------------------------------------------

	.input_alphabet		"01"
	.stack_alphabet		"a"


qstart:
	accept
	-, -, push[0]:$, q1
	$, -, nop, qdone

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

qdone:
	accept
	halt