#### Filter Results:

- Full text PDF available (76)

#### Publication Year

1986

2017

- This year (4)
- Last 5 years (44)
- Last 10 years (97)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Alexander Okhotin
- Journal of Automata, Languages and Combinatorics
- 2001

This paper introduces a class of formal grammars made up by augmenting the formalism of context-free grammars with an explicit set-theoretic intersection operation. It is shown that conjunctive grammars can generate some important non-contextfree language constructs, including those not in the intersection closure of context-free languages, and that they… (More)

- Alexander Okhotin
- Fundam. Inform.
- 2010

It is proved that the set of scattered substrings of a language recognized by an n-state DFA requires a DFAwith at least 2 n 2−2 states (the known upper bound is 2), with witness languages given over an exponentially growing alphabet. For a 3-letter alphabet, scattered substrings are shown to require at least 2 √ 2n+30−6 states. A similar state complexity… (More)

- Alexander Okhotin
- Developments in Language Theory
- 2003

- Alexander Okhotin
- ITA
- 2004

- Galina Jirásková, Alexander Okhotin
- Fundam. Inform.
- 2011

- Galina Jirásková, Alexander Okhotin
- ITA
- 2005

- Alexander Okhotin
- Theor. Comput. Sci.
- 2003

- Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin
- Theor. Comput. Sci.
- 2008

- Alexander Okhotin
- MFCS
- 2010

Nondeterministic finite automata (NFA) with at most one accepting computation on every input string are known as unambiguous finite automata (UFA). This paper considers UFAs over a one-letter alphabet, and determines the exact number of states in DFAs needed to represent unary languages recognized by n-state UFAs in terms of a new number-theoretic function… (More)

- Artur Jez, Alexander Okhotin
- ICALP
- 2008

Systems of equations of the form φj(X1, . . . ,Xn) = ψj(X1, . . . ,Xn) with 1 6 j 6 m are considered, in which the unknowns Xi are sets of natural numbers, while the expressions φj , ψj may contain singleton constants and the operations of union and pairwise addition S + T = {m + n | m ∈ S, n ∈ T}. It is shown that the family of sets representable by unique… (More)