|
This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce NFA - automata with ε-transitions
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Our third definition: we say a language is DFA-regular if it is the language recognised by some DFA.We show that the complement of a DFA-regular language is DFA-regular.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We look at the representation of DFA in Haskell (using lists to represent the sets of the formal definition).In this video the code isDFA is defining what counts as a DFA when we use the black-hole…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|