Mechanical translation of I/O automaton specifications into first

 ½ ¾ ¾
½
¾
!"! # !"$% &'
( $" ! )! ) # #% *
! "+ $ # ! $"$ !%) ! $, # !"! % ! # !!- ) !!!
!! !%) + ) . !%!% /*$ %
0$ ) !) )!$ !%!% ! )! #!! !*
% +) ! ) - ) !! ! /$ !%
)!$ ) ! # # $ )! !! !"!
$- ! # ) # !# # ) $!! !!% !%) $% ! "!! 0!
"!$ !1 %! !%) %% )! ) ! "
$ !$! !$ !! $%
!
" # " $ ! %
& !
' ( % !) * ) + !
" ) ! % , +& -./ +0& -1/
! " # " ! 2 ! !
! # +& ! ! 2 ! # -34/ 5 ! ) ! 5 ! )
!
! 2 & 6" ! ) 7 +& 2 '( 2 ! *
'*( 2 7 8)$ " -9/
2 :
; ) Æ Æ " ;2 ! ; " & " +0& "
& + ! " Æ ! 5 # ; % " ! 2 !
+ +& ! ! 2 2 # 2
! 2
! # 2 " + ! ! ! ! & 2 # ! 2 # ! !
" # ! +& # ! +& < '3(
'=( 2 " 2 ) Æ ' ! ! ( ) ; ' ->/ .3=( " "
;2
7 ;2 "
% " ! ! <
2 2 # 2 2 ! < ? ? 7 ! 2 ! <
¼
2 2 ¼
# ! 2 < !
! '(
! 7 ;2 -> = @/ # 2 " ;2 ; " 7 "< $ + ! 2 0! ! + 2
! ! 2 ! # !
+ ' -A/ >9.( ! # : ; ! )
# ! ! ! ! "< ; ! & " ! #
! + ; # ! $ -B/
& ! ! -B/ ; ; 7 !
2 ! & " 7 2 " # ; 6 '-3/ " ( ! A44
! C !) ; ! 5 " # ! &- $3 %$!- 4! /! # ! "+ 5. !!!! # %% ) !!) # )% & - ! - !!% 5. !!! 67
- 6! *
% # 83% &-
'- ) 9- :!!$ !$ 8! - )- % 5. !!! # $% $*
"$ - :! - ! !$ ! !!! $ !% ;<'&- !"$% 6 - ) 9- :!!$ 8! - ) !$ !$!! 7!=- - !"! #
& >$ 9!! &?<- !$ :- - %*7!% &;&@- - !- !$ ) $% # ! $"$ &>?A<<;<@< 9 &;- ) )- "$ !% !%) $$ .A )!% "*
# #+! !! !$ ) )$- )! 8 &;- 8! - )- ! - %! B!#! 6") - &@- 8! - ) !$ ! - C!)! # # $"$
!%)- )! D 5 5D*'; !"! # &;&- 8! - ) !$ 4 7!!$!%- 4+!$ !$ "!+!$ ! !
A $ - &&>?A&'' "
&<-