Podrobný výpis o publikaci

@inbook{33995,
   author = {Cienciala, Luděk and Ciencialová, Lucie and CsuhajandVarjú, Erzsébet and Sosík, Petr},
   address = {Cham},
   booktitle = {Enjoying Natural Computing},
   doi = {http://dx.doi.org/10.1007/978-3-030-00265-7_6},
   edition = {11270 LNCS},
   keywords = {Formal languages; Context free grammars; P colonies},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-00265-7},
   pages = {66-76},
   publisher = {Springer Verlag},
   title = {A logical representation of P colonies: An introduction},
   url = {https://link.springer.com/chapter/10.1007/978-3-030-00265-7_6},
   year = {2018}
}

TY  - CHAP
ID  - 33995
AU  - Cienciala, Luděk - Ciencialová, Lucie - Csuhaj-Varjú, Erzsébet - Sosík, Petr
PY  - 2018
TI  - A logical representation of P colonies: An introduction
VL  - Lecture Notes in Computer Science
PB  - Springer Verlag
CY  - Cham
SN  - 9783030002657
KW  - Formal languages
KW  - Context free grammars
KW  - P colonies
UR  - https://link.springer.com/chapter/10.1007/978-3-030-00265-7_6
L2  - https://link.springer.com/chapter/10.1007/978-3-030-00265-7_6
N2  - We introduce a new way of representation of computation in P colonies. It is based on logical values, propositional logic and rule-based systems. A configuration of a P colony is transformed into a data structure based on a system of stacks. We present a conversion of conditions of applicability of rules, programs, multisets of programs and complete computational steps as propositional formulas in the disjunctive normal form. This representation allows, among others, to derive new results concerning the complexity of execution of computational steps of a P colony.
ER  - 

CIENCIALA, Luděk, Lucie CIENCIALOVÁ, Erzsébet CSUHAJ-VARJÚ a Petr SOSÍK. A logical representation of P colonies: An introduction. Online. In \textit{Enjoying Natural Computing}. 11270 LNCS. Cham: Springer Verlag, 2018, s.~66-76. Lecture Notes in Computer Science. ISBN~978-3-030-00265-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-00265-7\_{}6.