. "Springer-Verlag" . . "RIV/00216224:14310/13:00066861" . . . "Paris" . "piecewise testable languages; acyclic automata; locally con- fluent automata"@en . "Alternative Automata Characterization of Piecewise Testable Languages"@en . "Alternative Automata Characterization of Piecewise Testable Languages"@en . . "Alternative Automata Characterization of Piecewise Testable Languages" . . "P(GBP202/12/G061)" . . "14310" . . "Developments in Language Theory" . "9783642387708" . "Kl\u00EDma, Ond\u0159ej" . "2"^^ . . . "We present a transparent condition on a minimal automaton which is equivalent to piecewise testability of the corresponding regular language. The condition simplifies the original Simon\u2019s condition on the minimal automaton in a different way than conditions of Stern and Trahtman. Secondly, we prove that every piecewise testable language L is k-piecewise testable for k equal to the depth of the minimal DFA of L. This result improves all previously known estimates of such k."@en . "RIV/00216224:14310/13:00066861!RIV14-GA0-14310___" . "[30C4B30296F5]" . . . "0302-9743" . . "We present a transparent condition on a minimal automaton which is equivalent to piecewise testability of the corresponding regular language. The condition simplifies the original Simon\u2019s condition on the minimal automaton in a different way than conditions of Stern and Trahtman. Secondly, we prove that every piecewise testable language L is k-piecewise testable for k equal to the depth of the minimal DFA of L. This result improves all previously known estimates of such k." . "2"^^ . "60162" . . "2013-01-01+01:00"^^ . "Berlin Heidelberg" . "Alternative Automata Characterization of Piecewise Testable Languages" . . . "10.1007/978-3-642-38771-5_26" . . . "Pol\u00E1k, Libor" . "12"^^ .