.en
.LL 6.5i
.ls 1
.ds BL ''''
.hy 14
\s+6strings Specifications\s0
.sp
.TS
l s s s s s s s
l | l | l | l | l | l | l | l |.
Initial state: NL_O_ST with \fHi=0\fP
Input(char)\e	\fC/\fP	\fC\e\fP	\fC(\fP	\fC)\fP	y=(\fC' '\fP|\fC\et\fP)	\fC^J\fP(\fC\en\fP)	\fCx\fP(other)
State
=
NL_O_ST	O_ST		I_ST		W_O_ST	NL_O_ST	O_ST
	\fC"/"\fP		\fC"("\fP		\fHi<72\fP \(-> \&\fC"\fP\fHy\fP\fC"\fP \fHi+=1\fP	\fC"\en"\fP	x
	\fHi+=1\fP		\fHi+=1\fP		\fHi>=72\fP \(-> \fC"\en"\fP \fHi=0\fP	\fHi=0\fP	\fHi+=1\fP
_
O_ST	O_ST		I_ST		W_O_ST	NL_O_ST	O_ST
	\fC" /"\fP		\fC"\en("\fP		\fHi<72\fP \(-> \&\fC"\fP\fHy\fP\fC"\fP \fHi+=1\fP	\fC"\en"\fP	x
	\fHi+=2\fP		\fHi=1\fP		\fHi>=72\fP \(-> \fC"\en"\fP \fHi=0\fP	\fHi=0\fP	\fHi+=1\fP
_
W_O_ST	O_ST		I_ST		W_O_ST	NL_O_ST	O_ST
	\fC"/"\fP		\fC"\en("\fP		\fHi<72\fP \(-> \&\fC"\fP\fHy\fP\fC"\fP \fHi+=1\fP	\fC"\en"\fP	x
	\fHi+=1\fP		\fHi=1\fP		\fHi>=72\fP \(-> \fC"\en"\fP \fHi=0\fP	\fHi=0\fP	\fHi+=1\fP
_
I_ST		ES_I_ST		\fHi<72\fP \(->			I_ST
		\fC"\e\e"\fP		O_ST \fC")"\fP \fHi+=1\fP			\fC"x"\fP
		\fHi+=1\fP		\fHi>=72\fP \(->			\fHi+=1\fP
				NL_O_ST \fC")\en"\fP \fHi=0\fP
_
ES_I_ST							I_ST
							\fC"x"\fP
							\fHi+=1\fP
=
.TE
.nf

O=outside
I=inside
ST=string
W=white_space in the form of blank or tab seen
NL=new_line in the form of \&\fC^J\fP or \&\fC^M\fP seen
ES=in escape