package Ġr ww iv . t uring čĊč Ċ data Ġclass ĠInit ( čĊ ĉ val Ġstates : ĠList < String >, čĊ ĉ val Ġstart State : ĠString , čĊ ĉ val Ġaccept State : ĠString , čĊ ĉ val Ġreject State : ĠString , čĊ ĉ val Ġalpha : ĠList < Char >, čĊ ĉ val Ġtape Alpha : ĠList < Char > č Ċ )