Search
Filters
total: 2274
-
Catalog
- Publications 1614 available results
- Journals 21 available results
- Conferences 16 available results
- Publishing Houses 1 available results
- People 180 available results
- Inventions 1 available results
- Projects 6 available results
- Laboratories 4 available results
- Research Teams 10 available results
- Research Equipment 13 available results
- e-Learning Courses 329 available results
- Events 14 available results
- Open Research Data 65 available results
displaying 1000 best results Help
Search results for: AUTOMATY%20SKO%C5%83CZONE
-
JOURNAL OF AUTOMATED REASONING
Journals -
Perfect hashing tree automata
PublicationWe present an algorithm that computes a function that assigns consecutive integers to trees recognized by a deterministic, acyclic, finite-state, bottom-up tree automaton. Such function is called minimal perfect hashing. It can be used to identify trees recognized by the automaton. Its value may be seen as an index in some other data structures. We also present an algorithm for inverted hashing.Przedstawiamy algorytm, który oblicza...
-
A new library for construction of automata
PublicationWe present a new library of functions that construct minimal, acyclic, deterministic, finite-state automata in the same format as the author's fsa package, and also accepted by the author's fadd library of functions that use finite-state automata as dictionaries in natural language processing.
-
Katedra Automatyki.
PublicationPrzedstawiono zarys historii oraz działalności naukowo-badawczej i dydaktycznej Katedry Automatyki Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej.
-
Katedra Automatyki.
PublicationInformacja o Katedrze Automatyki WEiA PG.
-
Smaller Representation of Finite State Automata
PublicationThis paper is a follow-up to Jan Daciuk's experiments on space-effcient finite state automata representation that can be used directly for traversals in main memory. We investigate several techniques of reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve a gain of around 20-30%...
-
Smaller representation of finite state automata
PublicationThis paper is a follow-up to Jan Daciuk's experiments on space-efficient finite state automata representation that can be used directly for traversals in main memory (Daciuk, 2000)[4]. We investigate several techniques for reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve...
-
An implementation of deterministic tree automata minimization
PublicationWstępujący, deterministyczny, skończony automat drzewiasty (DTA) może być używany jako struktura danych do przechowywania zbiorów nieuporządkowanych drzew bez narzuconej liczby poddrzew. Takie automaty są zwykle rzadsze niż automaty działające na napisach i dlatego należy zwrócić szczególną uwagę na ich wydajną minimalizację. W dostępnej literaturze jest jednak ciężko znaleźć proste i szczegółowe opisy procedury minimalizacji....
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Building a Nest by an Automaton
PublicationA robot modeled as a deterministic finite automaton has to build a structure from material available to it. The robot navigates in the infinite oriented grid $Z x Z$. Some cells of the grid are full (contain a brick) and others are empty. The subgraph of the grid induced by full cells, called the {\em field}, is initially connected. The (Manhattan) distance between the farthest cells of the field is called its {\em span}. The robot...