You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Algebraické typy V●příklady dalších jednoduchých kartézských typůdata Node = Node String ≈ uzel grafu s řetězcovým id.data Edge = Node :-> Node ≈ hrana, operátorová formakonstruktoru (musí začínat znakem ':')data State = State String ≈ stav DFAdate InputSymbol = S0 | S1 ≈ vstupní symbol DFA (výčet,konstruktory musí být jedinečné v rámci modulu)data DFA = DFA [State] State [State ->Char->State] [State]≈ determ. konečný automat = seznam stavů, poč. stav,seznam přechodových funkcí, seznam koncových stavů(množina vstup. symbolů je dána výčtem InputSymbol)