STTP

Five Day
STTP
On
Formal Languages
&
Automata Theory

ABOUT THE PROGRAM

The program focuses on mathematical
fundamentals required to understand the theory
of computation.

 The main objective of this STTP is to train
faculty in the subject Formal Languages
Automata Theory included in B.Tech curriculum.

 This program will help to formalize
mathematical models of computation viz. Basic
,deterministic , non-deterministic, pushdown
and Turing Machines.

 This program will guide faculty to learn
fundamentals of formal grammar and
languages , and also to develop understanding
of different types of machines, their use,
capabilities & limitations, and the concept of
undecidability