CL - 13c - Machines in Haskell

views comments

In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.

In this video we use lists to represent the sets used in the mathematical definition. In the code for tutorials we use the same ideas, but using Haskell's Data.Set library to represent these sets.

Tags

the university of edinburgh

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

CL - 13c - Machines in Haskell

Related Media

the university of edinburgh