Introduction to formal language

Introduction to formal language

1. Assistant

• Assistant: gao mengru

• email: [email protected]

• 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

1. 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