Filters
Deterministic acceptors
Paper is dealing with the study of abstract machines which are recognizing a certain set of input words, so called acceptors. Representation by state transition table, state diagram and state tree...
BA - Obecná matematika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
On finite automata
The basic set-theoretical and algebraic notions and notations as well as some fundamental terms of the theory of finite automata and formal languages are presented....
BA - Obecná matematika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Comparison of Evolutionary Development of Cellular Automata Using Various Representations
techniques for the representation of transition functions for the cellular automata are proposed: a~conventional table-based method and an advancced concept utilising on the representation applied. Specifically, t...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Evolution of Cellular Automata Development Using Various Representations
cellular automata by means of various representations of transition functions. In particular, a conventional table-based representation and an advanced approach using of this task using both representations
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Cellular Automaton as a Sorting Network Generator Using Instruction-Based Development
A new cellular automaton-based approach allowing to generate sorting networks is presented. Since the traditional table-based transition function in this case involves excessive number of rules, a program-based representation
JC - Počítačový hardware a software
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Evolution of Cellular Automata with Conditionally Matching Rules
the conventional table-based representation. In order to demonstrate abilities of the proposedThis paper introduces a method of representing transition functions on conditions specified in the transition rules tha...
Computer hardware and architecture
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
SMT for state-based formal methods: the ASM case study
State-based transition systems can take advantage of a symbolic representation of the concepts of state and transition in order to automatically solve verification questions that could not be otherwise tac...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
in a huge state space so it is critical to efficiently represent world states and actions (transitions between states). In this paper we present a modeling framework for planning problems based on tabled ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Vector and bidirector representations of magnetic point groups
The main result of this work is an explicit presentation of character tables of all 122 Heesch-Shubnikov magnetic point groups. All irreducible representations that transform under the symmetry operators of the group as a vector or ...
Condensed matter physics (including formerly solid state physics, supercond.)
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Gaston - Symbolic WS1S Solver
-terminal binary decision diagrams (MTBDDs) for storing transition table of the automaton. Procedure generates state space on-the-fly and prunes the states using the antichain-based approach. The tool works on the ...
Computer hardware and architecture
- 2017 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
- 1 - 10 out of 128 223