Teori Bahasa dan Otomata (TBO) adalah cabang ilmu komputer yang mempelajari mesin abstrak (model matematika) dan bahasa formal yang dapat dikenali atau dihasilkan oleh mesin tersebut. Bidang ini merupakan fondasi utama dalam perancangan compiler dan pemahaman cara kerja bahasa pemrograman.