Temat: formal languages - Wspólny katalog bibliotek Konsorcjum Akademickiego

Skocz do pozycji: 1.

Tytuł:: Formal language recognition by stochastic cellular automata
Autorzy:: Merkle, D.
Worsch, T.
Tematy:: cellular automata
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: On the Density of Regular Languages
Autorzy:: Koga, Toshihiro
Tematy:: formal languages
regular languages
density; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Interpreted Trajectories
Autorzy:: Domaratzki, M.
Rozenberg, G.
Salomaa, K.
Tematy:: formal languages
decidability
trajectories
regularity
unambiguity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Block Substitutions and Their Properties
Autorzy:: Kari, L.
Losseva, E.
Tematy:: formal languages
Chomshy hierarchy
block substitution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Unavoidable Sets, Prefix Graphs and Regularity of Circular Splicing Languages
Autorzy:: Bonizzoni, Paola
De Felice, Clelia
Zaccagnino, Rocco
Zizza, Rosalba
Tematy:: circular splicing languages
formal languages
regular languages
unavoidable sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Tematy:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Array Grammars with Contextual Operations
Autorzy:: Subramanian, K.G.
Van, Do Long
Chandra, P.H.
Quyen, N.D.
Tematy:: formal languages
picture languages
array grammars
contextual grammars; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Membrane computing with external output
Autorzy:: Paun, G.
Rozenberg, G.
Salomaa, A.
Tematy:: natural computing
membrane computing
formal languages
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: A Formal Language Analysis of DNA Hairpin Structures
Autorzy:: Kari, L.
Losseva, E.
Konstantindis, S.
Sosik, P.
Thierrin, G.
Tematy:: DNA computing
DNA hairpin
involution
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Substring Languages
Autorzy:: Atłasiewicz, K.
Tematy:: syntactic pattern recognition
formal languages and automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 11.

Tytuł:: Substring languages
Autorzy:: Atłasiewicz, Krzysztof
Data publikacji:: 2004
Forma i typ:: artykuł w czasopiśmie
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 12.

Tytuł:: On Interacting Automata with Limited Nondeterminism
Autorzy:: Buchholz, T.
Klein, A.
Kutrib, M.
Tematy:: cellular automata
formal languages
nondeterminism
parallel computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 13.

Tytuł:: Remarks on operations suggested by mutations in genomes
Autorzy:: Dassow, J.
Paun, G.
Tematy:: operations on formal languages
mutation in genomes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 14.

Tytuł:: Rational, Linear and algebraic process languages and iteration lemmata
Autorzy:: Czaja, L.
Kudlek, M.
Tematy:: formal languages
iteration lemmata
process
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 15.

Tytuł:: Synthesis of Pure and Impure Petri nets with Restricted Place-environments : Complexity Issues
Autorzy:: Devillers, Raymond
Tredup, Ronny
Tematy:: Computer Science
Formal Languages and Automata Theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 16.

Tytuł:: Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues
Autorzy:: Devillers, Raymond
Tredup, Ronny
Tematy:: Computer Science
Formal Languages and Automata Theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 17.

Tytuł:: About Splicing P Systems with One Membrane
Autorzy:: Verlan, S.
Margenstern, M.
Tematy:: membrane computing
splicing systems
formal languages
universal computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 18.

Tytuł:: Bag Context Tree Grammars
Autorzy:: Drewes, F.
du Toit, C.
Ewert, S.
van der Merwe, B.
van der Walt, A.
Tematy:: formal languages
tree grammars
regulated rewriting
bag context; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 19.

Tytuł:: 5'→3' Watson-Crick AutomataWith Several Runs
Autorzy:: Leupold, P.
Nagy, B.
Tematy:: automata
formal languages
natural computing
Watson-Crick automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 20.

Tytuł:: A note on SE-Systems and regular canonical systems
Autorzy:: Tiplea, F.L.
Mäkinen, E.
Tematy:: formal languages
synchronized extension systems
regular canonical systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 21.

Tytuł:: Space- and Time-Bounded Nondeterminism for Cellular Automata
Autorzy:: Kutrib, M.
Löwe, J-T.
Tematy:: cellular automata
formal languages
limited nondeterminism
parallel computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 22.

Tytuł:: Valences in Lindenmayer systems
Autorzy:: Fernau, H.
Stiebe, R.
Tematy:: formal languages
Lindenmayer systems
limited Lindenmayer systems
valence grammars; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 23.

Tytuł:: Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages
Autorzy:: Anselmo, M.
Giammarresi, D.
Madonia, M.
Tematy:: automata and formal languages
unambiguity
determinism
tiling systems
two dimensional languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 24.

Tytuł:: Strongly Limited Automata
Autorzy:: Pighizzini, G.
Tematy:: turing machines
computational complexity
machine theory
polynomials
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 25.

Tytuł:: Generative Capacity of Contextual Grammars with Subregular Selection Languages
Autorzy:: Truthe, Bianca
Tematy:: contextual grammars
subregular language families
formal languages
generative power; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 26.

Tytuł:: On the Computational Complexity of Partial Word Automata Problems
Autorzy:: Holzer, M.
Jakobi, S.
Wendlandt, M.
Tematy:: computational complexity
machine theory
robots
np-hard problems
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 27.

Tytuł:: A Formal Language Model of DNA Polymerase Enzymatic Activity
Autorzy:: Enaganti, S. K.
Kari, L.
Kopecki, S.
Tematy:: formal languages
DNA primers
DNA polymerases
enzyme kinetics
binary system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 28.

Tytuł:: Synchronized Shuffle on Backbones
Autorzy:: Manea, F.
Mitrana, V.
Voinescu, D-C.
Tematy:: shuffle
synchronized shuffle
backbone
synchronized shuffle on backbones
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 29.

Tytuł:: Measure of regular languages
Autorzy:: Surana, A.
Ray, A.
Tematy:: języki formalne
formal languages
performance measure
discrete event supervisory control; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 30.

Tytuł:: Limited Automata and Context-Free Languages
Autorzy:: Pighizzini, G.
Pisoni, A.
Tematy:: finite automata
formal languages
turing machines
deterministic context-free languages
descriptional complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 31.

Tytuł:: On the Power of Accepting Networks of Evolutionary Processors with Special Topologies and Random Context Filters
Autorzy:: Dassow, J.
Manea, F.
Truthe, B.
Tematy:: formal languages
networks of evolutionary processors
computational power
random context conditions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 32.

Tytuł:: On Descriptional Complexity of Partially Parallel Grammars
Autorzy:: Masopust, T.
Meduna, A.
Tematy:: formal languages
scattered context grammars
multisequential grammars
multicontinuous grammars
descriptional complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 33.

Tytuł:: Reversible Queue Automata
Autorzy:: Kutrib, M.
Malcher, A.
Wendlandt, M.
Tematy:: deterministic finite automata
computational complexity
formal languages
queuing theory
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 34.

Tytuł:: State Complexity of Multiple Catenations
Autorzy:: Caron, P.
Luque, J.-G.
Patrou, B.
Tematy:: deterministic finite automata
computational complexity
combinatorial analysis
generalization
bounds
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 35.

Tytuł:: Expressibility of many-valued linguistics constructions
Autorzy:: Frankowski, S.
Tematy:: formal languages
many-valued automata
probabilistic grammar
języki formalne
gramatyki probabilistyczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 36.

Tytuł:: Distinguishability Operations and Closures
Autorzy:: Câmpeanu, C.
Moreira, N.
Reis, R.
Tematy:: formal languages
Myhill-Nerode relations
quotients
language operation
closures
regular languages
state complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 37.

Tytuł:: Clearing Restarting Automata
Autorzy:: Černo, P.
Mráz, F.
Tematy:: analysis by reduction
clearing restarting automata
formal languages
grammatical inference problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 38.

Tytuł:: Affine completeness of some free binary algebras
Autorzy:: Arnold, André
Cégielski, Patrick
Guessarian, Irène
Tematy:: mathematics
rings and Algebras
computer science
formal languages and automata theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 39.

Tytuł:: Cellular Devices and Unary Languages
Autorzy:: Klein, A.
Kutrib, M.
Tematy:: cellular automata
unary formal languages
limited nondeterminism
generalized sequential machines
parallel computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 40.

Tytuł:: Morphisms and minimisation of weighted automata
Autorzy:: Lombardy, Sylvain
Sakarovitch, Jacques
Tematy:: Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory Licence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 41.

Tytuł:: Deterministic Complexity and Entropy
Autorzy:: Titchener, M. R.
Gulliver, A.
Nicolescu, R.
Speidel, U.
Staiger, L.
Tematy:: formal languages
generative systems
prefix codes
complexity measures
T-codes
entropy
information; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 42.

Tytuł:: Pattern avoidance in partial words over a ternary alphabet
Autorzy:: Gągol, Adam
Tematy:: Formal languages
combinatorics on words
pattern avoidance
partial words
entropy compression
probabilistic method; Pokaż więcej
Data publikacji:: 2015
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 43.

Tytuł:: Introduction to Probabilistic Concurrent Systems
Autorzy:: Abbes, Samy
Tematy:: Computer Science - Formal Languages and Automata Theory
G.2.1,F.1.1; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 44.

Tytuł:: Two-Dimensional Limited Context Restarting Automata
Autorzy:: Krtek, L.
Mráz, F.
Tematy:: machine learning
deterministic finite automata
robots
computational complexity
formal languages
np-hard problems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 45.

Tytuł:: A Formal Syntax of Natural Languages and the Deductive Grammar
Autorzy:: Wang, Y.
Tematy:: cognitive informatics
linguistics
computational linguistics
formal languages
universal grammar
deductive grammar
formal syntax
formal semantics
EBNF
RTPA
comparative linguistics
software engineering
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 46.

Tytuł:: Optimal supervisory control of regular languages
Autorzy:: Ray, A.
Fu, J.
Lagoa, C.
Tematy:: język formalny
sterowanie nadrzędne
operatory linearne
discrete event supervisory control
performance measure
formal languages
linear operators
regular languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 47.

Tytuł:: Computing forbidden words of regular languages
Autorzy:: Béal, M-P.
Crochemore, M.
Mignosi, F.
Restivo, A.
Sciortino, M.
Tematy:: anti-factorial language
factor automaton
factorial language
failure function
forbidden word
formal languages
sofic shift
symbolic dynamics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 48.

Tytuł:: Formal fundamentals of syntactic pattern recognition : survey
Podstawy formalne syntaktycznego rozpoznawania obrazów : przegląd
Autorzy:: Flasiński, Mariusz
Data publikacji:: 2001
Forma i typ:: artykuł w czasopiśmie
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 49.

Tytuł:: Formal fundamentals of syntactic pattern recognition - survey
Podstawy formalne syntaktycznego rozpoznawania obrazów - przegląd
Autorzy:: Flasiński, M.
Tematy:: rozpoznawanie obrazów
syntaktyczne rozpoznawanie obrazów
teoria języków formalnych i automatów
pattern recognition
syntactic pattern recognition
theory of formal languages and automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 50.

Tytuł:: Development of a flexible Mizar tokenizer and parser for information retrieval system
Autorzy:: Nakasho, Kazuhisa
Tematy:: formal languages
grammars
information retrieval
mathematics computing
program compilers
software library
języki formalne
gramatyki
wyszukiwanie informacji
obliczenia matematyczne
kompilatory programów
biblioteka oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 51.

Tytuł:: On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
Autorzy:: Finkel, Olivier
Skrzypczak, Michał
Tematy:: automata and formal languages
Petri nets
infinite words
logic in computer science
cantor topology
borel hierarchy
wadge degrees
highly undecidable properties
unambiguous Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 52.

Tytuł:: Languages in Problem Solving and Modeling
Autorzy:: Śliwa, Kazimierz
Tematy:: problem modeling and solving
formal modeling languages
expert and interactive
approach to problem modeling
SEQUAL
System Dynamics language; Pokaż więcej
Data publikacji:: 2012
Wydawca:: Fundacja Upowszechniająca Wiedzę i Naukę Cognitione
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 53.

Tytuł:: Quantitative considerations on finding the shortest descriptions for meaningful symbolic sequences
Ilościowe rozważania nad znajdowaniem najkrótszych opisów dla ciągów znaczących symboli
Autorzy:: Dębowski, Ł.
Tematy:: uczenie bez nadzoru
przetwarzanie języka naturalnego
teoria komunikacji
lingwistyka kwantytatywna
termodynamika nieekstensywna
miary informacji
kognitywistyka
języki formalne
unsupervised learning
natural language processing
communication theory
quantitative linguistics
nonextensive thermodynamics
measures of information
cognitive science
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 54.

Tytuł:: On the learning of vague languages for syntactic pattern recognition
Autorzy:: Jurek, Janusz
Flasiński, Mariusz
Peszek, Tomasz
Data publikacji:: 2023
Forma i typ:: artykuł w czasopiśmie
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 55.

Tytuł:: A Formal and Unified Description of XML Manipulation Languages
Autorzy:: Hidders, J.
Paredaens, J.
Tematy:: formal semantics
semistructured data
transformation languages
XML
XPath
XQuery
XSLT; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 56.

Tytuł:: Contrastive syntax in teaching foreign language
Składnia porównawcza w dydaktyce języka obcego
Autorzy:: Papierz, Maria
Data publikacji:: 2017
Wydawca:: Filozofická fakulta Prešovskej univerzity v Prešove
Forma i typ:: artykuł (rozdział w książce)
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 57.

Tytuł:: An extension of Świdzińkis grammar of Polish
Autorzy:: Ogrodniczuk, M.
Tematy:: formal grammar of Polish
formalisation of natural languages
natural language parsing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 58.

Tytuł:: Decision Problems for Probabilistic Finite Automata on Bounded Languages
Autorzy:: Bell, P. C.
Halava, V.
Hirvensalo, M.
Tematy:: probabilistic finite automata
bounded languages
formal power series
undecidability
Hilbert's tenth problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Skocz do pozycji: 59.

Tytuł:: The Syntax of a Multi-Level Production Process Modeling Language
Autorzy:: Vještica, Marko
Dimitrieski, Vladimir
Kordić, Slavica
Ristić, Sonja
Luković, Ivan
Pisarić, Milan
Tematy:: formal specification
manufacturing systems
object-oriented programming
production engineering
software architecture
specification languages
Unified Modeling Language
specyfikacja formalna
systemy produkcyjne
programowanie obiektowe
inżynieria produkcji
architektura oprogramowania
języki specyfikacji
Zunifikowany Język Modelowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Informacja

Wyszukujesz frazę "formal languages" wg kryterium: Temat