Automata Wiki

todo: Main/Todo

• remove greater then in register model example

$HTMLHeaderFmt

$EnableChangeDirectly

$WikiTitle Main/Todo

$Author

$DefaultGroup Main

$PageEditFmt

$EditRedirectFmt

add models

• tcp BenchmarkTCP

      => inform paul for mealy models  dot format

• ssh CaseStudySSH is EMPTY

     => inform erik poll ??

• selfscanner CaseStudySelfScanner is EMPTY

     => inform frits  ??

• make benchmark for Learned models of the e.dentifier2 see MealyMachines