Languages and Automata

 

This course introduces the basics about regular languages and their various representations. This course also introduces the Floyd verification method on finite-state automata extended with variables.

This course occurs in the Bachelor degree (License) in Computer Science.

My roles:

  • Responsible for the course.
  • Teaching the french lecture.
  • Teaching the english tutorial.

Teaching material and administrative information can be retrieved on the dedicated Moodle.

 Posted by at 12:03 PM

Sorry, the comment form is closed at this time.