Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Y. A. Choueka

dblp:173/1851 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1974
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 91% Logic in computer science · 9%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages › formal language operations
closure properties
0.011974
Structure Automata · IEEE Trans. Computers 1974
Automata and formal languages
finite automata
0.011974
Structure Automata · IEEE Trans. Computers 1974
Automata and formal languages
regular languages
0.011974
Structure Automata · IEEE Trans. Computers 1974
Logic in computer science
finite model theory
0.011974
Structure Automata · IEEE Trans. Computers 1974
YearPublicationVenuePosition
1974 Structure Automata
abstract
By modifying the acceptability conditions in finite automata, a new and equivalent variant—the "structure automaton"— is obtained. The collection SR(Σ) of sets of tapes on Σ definable by deterministic structure-automata forms, however, a proper subset of the collection of regular sets. The structure and closure properties of SR(Σ) are analyzed in detail, using a natural topology on Σ*, in which the closed sets are the reverse ultimately definite sets. A set of tapes V is in SR(Σ) iff it is a finite union of regular "convex" sets. SR(Σ) is closed under Boolean operations, but not-closed under product, star, or transpose operations. In fact, SR(Σ) is exactly the Boolean closure of the regular closed sets. The "sigture" of a set is also defined and it is shown that a regular V is in SR(Σ) iff it has finite signature. Decision problems are also treated.
Y. A. Choueka
IEEE Trans. Computers1