Search for tag: "machine"

CL - 16 - ε-transitions and the subset construction

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.

From  Haoran Peng on November 23rd, 2020 0 likes 2 plays 0  

CL - 15e - RS -- Concatenation

We use ε-transitions to connect two NFA and create a machine that recognises the concatenation of their languges.

From  Haoran Peng on November 23rd, 2020 0 likes 4 plays 0  

CL - 15d - Using ε-transitions

We present a first example of the use of ε-transitions to concstruct new mahines, and pose a problem to be answered in the following video.

From  Haoran Peng on November 23rd, 2020 0 likes 4 plays 0  

CL - 15c - Introducing ε-transitions

We introduce NFA - automata with ε-transitions

From  Haoran Peng on November 23rd, 2020 0 likes 7 plays 0  

CL - 15b - Boolean operations on DFA-Regular Languages

Since DFA-regular languages are closed under complements and intersections, they are closed under all Boolean operations.

From  Haoran Peng on November 22nd, 2020 0 likes 10 plays 0  

CL - 15a - Regular Languages (III) : DFA-regular

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.

From  Haoran Peng on November 22nd, 2020 0 likes 11 plays 0  

MLP Advanced NN Tutorial 03 - Attention; Transformers

Machine Learning Practical advanced tutorial (optional) - Session 3 (Week 9).

From  Pavlos Andreadis on November 20th, 2020 1 likes 7 plays 0  

MLP Q&A 2 - Session 4 (Week 9)

Machine Learning Practical Q&A 2 - Session 4 (Week 9).

From  Pavlos Andreadis on November 20th, 2020 1 likes 9 plays 0  

CL - 13a - Machines

This video introduces the notion of a machine.

From  Claudia Chirita on November 20th, 2020 0 likes 138 plays 0  

CL - 14c - Regular Languages (I)

We give a first definition of regular language as a language that is accepted by some FSM.

From  Haoran Peng on November 18th, 2020 0 likes 206 plays 0  

CL - 14b - Machines in Haskell (II)

In this video we present the formalisation of the accepts function in Haskell.In this video we use lists to represent the sets used in the mathematical definition. In the code for tutorials we use…

From  Haoran Peng on November 18th, 2020 0 likes 229 plays 0  

Google Cloud tutorial Part 1/2

Google Cloud setup, account management, errors, and usage. Clip 01 / 02.

From  Pavlos Andreadis on November 18th, 2020 1 likes 172 plays 0  

Google Cloud tutorial Part 2/2

Google Cloud setup, account management, errors, and usage. Clip 02 / 02.

From  Pavlos Andreadis on November 18th, 2020 1 likes 125 plays 0  

CL - 13c - Machines in Haskell

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…

From  Haoran Peng on November 17th, 2020 0 likes 283 plays 0  

CL - 13b - regex and FSM

We introduce some simple finite state machines, and three key ideas of the theory.The first idea is that of the language recognised by a machine. Given an alphabet of symbols, a language is a set…

From  Haoran Peng on November 17th, 2020 0 likes 307 plays 0  

MLP Advanced NN Tutorial 02 - Relational Networks; Generative Adversarial Networks; HyperNetworks

Machine Learning Practical advanced tutorial (optional) - Session 2 (Week 8).

From  Pavlos Andreadis on November 16th, 2020 1 likes 10 plays 0