Talks
Fall 2015

Lower Bound Results for Hard Problems Related to Finite Automata

Monday, November 2nd, 2015, 3:30 pm4:00 pm

Add to Calendar

FInite automata (FA) are among the basic structures every first-year student in Computer Science gets to know. Somehow, the impression is that many decision problems concerning FA are easy to solve. However, there are quite a number of questions that are indeed computationally difficult. We show various examples how the (strong) exponential time hypothesis helps show the limits of exponential-time algorithms for these cases.