TY  - JOUR
A1  - Bordihn, Henning
A1  - Fernau, Henning
A1  - Holzer, Markus
A1  - Manca, Vincenzo
A1  - Martin-Vide, Carlos
T1  - Iterated sequential transducers as language generating devices
JF  - Theoretical computer science
N2  - Iterated finite state sequential transducers are considered as language generating devices. The hierarchy induced by the size of the state alphabet is proved to collapse to the fourth level. The corresponding language families are related to the families of languages generated by Lindenmayer systems and Chomsky grammars. Finally, some results on deterministic and extended iterated finite state transducers are established.
KW  - finite state sequential transducers
KW  - state complexity
KW  - Lindenmayer systems
Y1  - 2006
U6  - https://doi.org/10.1016/j.tcs.2006.07.059
SN  - 0304-3975
VL  - 369
IS  - 1
SP  - 67
EP  - 81
PB  - Elsevier
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Castellini, Alberto
A1  - Paltrinieri, Daniele
A1  - Manca, Vincenzo
T1  - MP-GeneticSynth: inferring biological network regulations from time series
JF  - Bioinformatics
N2  - MP-GeneticSynth is a Java tool for discovering the logic and regulation mechanisms responsible for observed biological dynamics in terms of finite difference recurrent equations. The software makes use of: (i) metabolic P systems as a modeling framework, (ii) an evolutionary approach to discover flux regulation functions as linear combinations of given primitive functions, (iii) a suitable reformulation of the least squares method to estimate function parameters considering simultaneously all the reactions involved in complex dynamics. The tool is available as a plugin for the virtual laboratory MetaPlab. It has graphical and interactive interfaces for data preparation, a priori knowledge integration, and flux regulator analysis.
Y1  - 2015
U6  - https://doi.org/10.1093/bioinformatics/btu694
SN  - 1367-4803
SN  - 1460-2059
VL  - 31
IS  - 5
SP  - 785
EP  - 787
PB  - Oxford Univ. Press
CY  - Oxford
ER  -