21VT - 1DV517 - Language and Logic - 7,5 hp - Växjö - 50%

This course comprises three modules:

  • Finite state automata and regular languages
  • COntext-free grammars and turning machines
  • Predicate Logic and logic programming using Prolog