Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star

Janusz A. Brzozowski, David Liu. Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star. In Helmut Jürgensen, Rogério Reis, editors, Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings. Volume 8031 of Lecture Notes in Computer Science, pages 30-41, Springer, 2013. [doi]

Abstract

Abstract is missing.