The following pages link to Galina Jirásková (Q443741):
Displaying 50 items.
- Reversal of binary regular languages (Q443743) (← links)
- On a structural property in the state complexity of projected regular languages (Q443744) (← links)
- On the state complexity of operations on two-way finite automata (Q515574) (← links)
- Series-parallel languages on scattered and countable posets (Q533879) (← links)
- Randomness on computable probability spaces -- a dynamical point of view (Q537913) (← links)
- Optimal simulation of self-verifying automata by deterministic automata (Q553320) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Concatenation of regular languages and descriptional complexity (Q639851) (← links)
- State complexity of unambiguous operations on deterministic finite automata (Q778004) (← links)
- Towards exact state complexity bounds for input-driven pushdown automata (Q1622993) (← links)
- Operations on Boolean and alternating finite automata (Q1625163) (← links)
- Quotient complexity of closed languages (Q1678754) (← links)
- State complexity of some operations on binary regular languages (Q1763716) (← links)
- Quotient complexity of ideal languages (Q1935811) (← links)
- NFA-to-DFA trade-off for regular operations (Q2179337) (← links)
- Deterministic biautomata and subclasses of deterministic linear languages (Q2278286) (← links)
- Nondeterministic complexity in subclasses of convex languages (Q2319915) (← links)
- State complexity of unambiguous operations on finite automata (Q2334604) (← links)
- Nondeterministic complexity of operations on free and convex languages (Q2399254) (← links)
- Square on deterministic, alternating, and Boolean finite automata (Q2401004) (← links)
- On the descriptive complexity of \(\overline{\varSigma ^*\overline{L}}\) (Q2408805) (← links)
- On linear languages recognized by deterministic biautomata (Q2672654) (← links)
- Operations on Unambiguous Finite Automata (Q2817392) (← links)
- (Q2819384) (← links)
- Self-Verifying Finite Automata and Descriptional Complexity (Q2829967) (← links)
- On the State Complexity of the Shuffle of Regular Languages (Q2829972) (← links)
- The Complexity of Languages Resulting from the Concatenation Operation (Q2829979) (← links)
- Nondeterministic Complexity of Operations on Closed and Ideal Languages (Q2830213) (← links)
- State Complexity of Basic Operations on Non-returning Regular Languages (Q2843084) (← links)
- On the State Complexity of the Reverse of ${\mathcal R}$ - and ${\mathcal J}$ -Trivial Regular Languages (Q2843091) (← links)
- On the State Complexity of Star of Union and Star of Intersection (Q2895795) (← links)
- Descriptional Complexity of Operations on Alternating and Boolean Automata (Q2907501) (← links)
- COMPLEXITY IN UNION-FREE REGULAR LANGUAGES (Q2909101) (← links)
- On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs (Q2914712) (← links)
- On Properties and State Complexity of Deterministic State-Partition Automata (Q2915168) (← links)
- On Union-Free and Deterministic Union-Free Languages (Q2915169) (← links)
- On Upper and Lower Bounds on the Length of Alternating Towers (Q2922026) (← links)
- State Complexity of Basic Operations on Non-Returning Regular Languages (Q2968533) (← links)
- MAGIC NUMBERS AND TERNARY ALPHABET (Q3086242) (← links)
- The State Complexity of Star-Complement-Star (Q3167511) (← links)
- Descriptional Complexity of Biautomata (Q3167582) (← links)
- On the Square of Regular Languages (Q3192258) (← links)
- Kleene Closure on Regular and Prefix-Free Languages (Q3192267) (← links)
- Operations on Self-Verifying Finite Automata (Q3194721) (← links)
- (Q3204430) (← links)
- Concatenation of Regular Languages and Descriptional Complexity (Q3392955) (← links)
- Deterministic blow-ups of minimal NFA's (Q3421910) (← links)
- Note on the complexity of Las Vegas automata problems (Q3421911) (← links)
- State complexity of cyclic shift (Q3515466) (← links)
- On the State Complexity of Complements, Stars, and Reversals of Regular Languages (Q3533030) (← links)