ભાષાની ઔપચારિક થિયરી: વ્યાકરણ, વિશ્લેષણ, ગણનાપાત્ર;