Search for tag: "fsm"

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with…

+23 More
From  Haoran Peng 0 likes 281 plays 0  

CL - 14e - DFA (II)

We look at the representation of DFA in Haskell…

+23 More
From  Haoran Peng 0 likes 189 plays 0  

CL - 14b - Machines in Haskell (II)

In this video we present the formalisation of the…

+23 More
From  Haoran Peng 0 likes 290 plays 0  

CL - 13c - Machines in Haskell

In this video we formalise the definition of an…

+23 More
From  Haoran Peng 0 likes 357 plays 0