; ** p8.stax ************************************************
; STAX program to accept the language { w | w = "H(e+)y" }
; 
; John Haskins, Jr.
; l'Universite de Virginie (University of Virginia)
; jwh6q@virginia.edu
; -----------------------------------------------------------

	.input_alphabet		"Hey"
	.stack_alphabet		""


q0:
	deny
	'H', -, nop, q1
q1:
	deny
	'e', -, nop, q2
q2:
	deny
	'e', -, nop, q2
	'y', -, nop, q3
q3:
	deny
	$, -, nop, qdone

qdone:
	accept
	halt