Introduction to formal language
- Assistant
Assistant: gao mengru
email: mrgao@fuji.waseda.jp
laboratory: N223
-
Class condition
- final test at the end of the class
- Mainly about formal language and automate theory
-
short test before every class will take 15-20 minutes
- without any document
- slides are put on the @navi
- ask questions in the class while you don't know
- this class will speak really slowly in order to make it clearly
formal language & automata
finite symbols --> infinite sequence
- number
- 10 digits from 0 to 9 , each of them is a symbol and the symbol can merge into finite sequence like 0,1,2,3,4...,99,100...
- program
- Program language consists of key words like if, while... the finite keywords can make infinite programs.
- language
- language like Chinese have finite words and the words can combine together into infinite sentences.
- sentence
- sentence is consists of words and they are the same as the above symbol.
- UML
- State diagram
- object - event - state
- object: maybe the weather?
- event: sunny, rain
- state: happy, sad
- turing machine
