ABOUT THE PROGRAM
The program focuses on mathematical
fundamentals required to understand the theory
Download the brochure
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