what is formal language theory - Search