المؤلفون: Pashchenko, Dmitry V., Martyshkin, Alexey I., Trokoz, Dmitry A., Pashchenko, Tatyana Yu., Babich, Mikhail Yu., Butaev, Mikhail M.

المصدر: Nexo Revista Científica; Vol. 34 No. 01 (2021); 01-12 ; Nexo Revista Científica; Vol. 34 Núm. 01 (2021); 01-12

مصطلحات موضوعية: control algorithm, verification, finite automaton, simulation, parallel system, formalization, algoritmo de control, verificación, autómata finito, simulación, sistema paralelo, formalización

وصف الملف: application/pdf

Relation: http://revistas.uni.edu.ni/index.php/Nexo/article/view/576/560; http://revistas.uni.edu.ni/index.php/Nexo/article/view/576

الاتاحة: http://revistas.uni.edu.ni/index.php/Nexo/article/view/576
https://doi.org/10.5377/nexo.v34i01.11278

المؤلفون: Medina, Oscar Carlos, Marciszack, Marcelo Martín, Groppo, Mario Alberto, Castro, Claudia, Moreno, Juan Carlos, Moyano, Enrique Humberto

مصطلحات موضوعية: Ciencias Informáticas, caso de uso, requerimientos, UML, XPDL, autómata finito determinista

وصف الملف: application/pdf; 433-437

Relation: http://sedici.unlp.edu.ar/handle/10915/54103

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/54103

المؤلفون: Ortegón Correa, Eduard Felipe

المساهمون: Mateus Rojas, Armando, Guarnizo Marin, Jose Guillermo, Universidad Santo Tomás

مصطلحات موضوعية: Automation, Automatización, Ingeniería Electrónica, Agua Residual, Finite Automaton, Estimador de Estado, PTAR, SCADA, Autómata Finito, State Estimator, WWTP

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3896::aebffb20f52e6e0648e2ff4c0c553e90
https://hdl.handle.net/11634/46475

المؤلفون: Oscar Carlos Medina, Marcelo Martín Marciszack, Mario Alberto Groppo

المصدر: ReCIBE, Vol 5, Iss 1, Pp III-III (2016)

مصطلحات موضوعية: Trazabilidad, Validación, Requerimiento funcional, Modelo conceptual, UML, Autómata finito determinista, Computer engineering. Computer hardware, TK7885-7895

وصف الملف: electronic resource

Relation: http://recibe.cucei.udg.mx/revista/es/vol5-no1/computacion02.html; https://doaj.org/toc/2007-5448

URL الوصول: https://doaj.org/article/32818e4c9680447e86d2255275dece38

المؤلفون: Nathalie Cañon Forero, Diego Rodríguez Mora, Jenny Gutiérrez Calderón, Dario Amaya Hurtado, Oscar Avilés Sánchez

المصدر: Iteckne, Vol 9, Iss 2, Pp 128-134 (2012)

مصطلحات موضوعية: autómata finito, sistema hibrido, sis- tema embebido., Technology, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: http://revistas.ustabuca.edu.co/index.php/ITECKNE/article/view/90; https://doaj.org/toc/1692-1798; https://doaj.org/toc/2339-3483

URL الوصول: https://doaj.org/article/c0deaf60075c41dc97504be91c8ac203

المؤلفون: Dzib-Tun, Adán, González-Segura, Cinhtia, García-García, Michel

المصدر: Universidad Inca Garcilaso de la Vega ; Repositorio Institucional - UIGV

مصطلحات موضوعية: Ingeniería de Sistemas, Computación, Aprendizaje, Formación profesional, Software educativo, Teoría de lenguajes y autómatas, Autómata finito determinista, Computer sciences, Education, Pedagogy, Educational software, Languages and automata theory, Deterministic finite automaton

وصف الملف: application/pdf

Relation: http://hdl.handle.net/20.500.11818/803

الاتاحة: https://hdl.handle.net/20.500.11818/803

المؤلفون: Edgar Ruiz L., Eduardo Raffo L.

المصدر: Industrial Data, Vol 6, Iss 1 (2003)

مصطلحات موضوعية: Autómata finito no determinista, Autómata finito determinista, Grafo de transiciones, Construcción de subconjuntos., Technology (General), T1-995, Industrial engineering. Management engineering, T55.4-60.8

وصف الملف: electronic resource

Relation: https://revistas.gnbit.net/index.php/idata/article/view/5983; https://doaj.org/toc/1560-9146; https://doaj.org/toc/1810-9993

URL الوصول: https://doaj.org/article/fd79b00f7d484b8fa123425e5e7b2ef0

المؤلفون: Benito Montoro, Raúl, Chen, Xukai

المساهمون: Sierra Rodríguez, José Luis

مصطلحات موضوعية: 004(043.3), Algoritmo Hopcroft-Karp, Equivalencia, Expresiones regulares, Algoritmo deThompson, Algoritmo derivadas, Algoritmo derivadas parciales, Algoritmo Berry-Sethi, Algoritmo seguidores, Autómata finito, Determinación de autómatas, Hopcroft-Karp algorithm, Equivalence, Thompson algorithm, Derivatives algorithm, Partial derivatives algorithm, Berry-Sethi algorithm, Followers algorithm, Finite automata, Automata determination, Informática (Informática), 1203.17 Informática

وصف الملف: application/pdf

Relation: https://github.com/7216nat/TFG_Comprobador-de-equivalencia-entre-especificaciones- basadas-en-expresiones-regulares; https://hdl.handle.net/20.500.14352/10434

الاتاحة: https://hdl.handle.net/20.500.14352/10434
https://github.com/7216nat/TFG_Comprobador-de-equivalencia-entre-especificaciones- basadas-en-expresiones-regulares

المؤلفون: Fernández Carramiñana, Pablo, Jiménez Barral, Carlos, Marchiori, Eugenio Jorge

المساهمون: Rodríguez Laguna, Ismael

مصطلحات موضوعية: 004.421:575.8(043.3), 519.713(043.3), Autómata finito, Algoritmo genético, Autómatas finitos, Probabilistas, Aplicación distribuida, Aprendizaje pasivo, Experimentación, Sistemas expertos

وصف الملف: application/pdf

Relation: https://hdl.handle.net/20.500.14352/54365

الاتاحة: https://hdl.handle.net/20.500.14352/54365

المؤلفون: Mahiques Sifres, Xavier

المصدر: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

مصطلحات موضوعية: Autómata finito determinista, Artificial Intelligence, API, Videogame, Grado en Ingeniería Informática-Grau en Enginyeria Informàtica, Agentes, Videojuego, Inteligencia Artificial, State machines, LENGUAJES Y SISTEMAS INFORMATICOS, Autómata finito indeterminista, Máquinas de estados

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b98365ab9cd505238f2d2ef55044ad0d
https://hdl.handle.net/10251/68616

المؤلفون: Ortiz Sobremazas, Carlos

المساهمون: Montaña Arnaiz, José Luis, Tirnauca, Cristina, Universidad de Cantabria

مصطلحات موضوعية: Reconocimiento del comportamiento, Behavior Cloning, Learning from Observation, Probabilistic Finite Automata, Behavior Recognition, Autómata Finito Probabilístico, Clasificación, Aprendizaje por Observación, Classification, Clonación de conducta

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2473::b24362538b83373603b8029e09f8d2c3
http://hdl.handle.net/10902/7682

المؤلفون: Ortiz Sobremazas, Carlos

المساهمون: Montaña Arnaiz, José Luis, Tirnauca, Cristina, Universidad de Cantabria

المصدر: UCrea Repositorio Abierto de la Universidad de Cantabria
instname

مصطلحات موضوعية: Reconocimiento del comportamiento, Behavior Cloning, Learning from Observation, Probabilistic Finite Automata, Behavior Recognition, Autómata Finito Probabilístico, Clasificación, Aprendizaje por Observación, Classification, Clonación de conducta

URL الوصول: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::b24362538b83373603b8029e09f8d2c3
http://hdl.handle.net/10902/7682

المؤلفون: Ortiz Sobremazas, Carlos

المساهمون: Montaña Arnaiz, José Luis, Tirnauca, Cristina, Universidad de Cantabria

مصطلحات موضوعية: Learning from Observation, Behavior Recognition, Behavior Cloning, Probabilistic Finite Automata, Classification, Aprendizaje por Observación, Reconocimiento del comportamiento, Clonación de conducta, Autómata Finito Probabilístico, Clasificación

Relation: http://hdl.handle.net/10902/7682

الاتاحة: http://hdl.handle.net/10902/7682

المؤلفون: Pedro García, Jairo Andrés Velasco, Manuel Vázquez de Parga, Damián López

المصدر: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

مصطلحات موضوعية: Discrete mathematics, Finite-state machine, Autómata finito, Incremental minimization, Minimización incremental, Theoretical Computer Science, Automaton, Minimización de DFAs, Computational Theory and Mathematics, DFA minimization, Theory of computation, Minimization algorithm, Quantum finite automata, Alphabet, Algorithm, Finite automata, LENGUAJES Y SISTEMAS INFORMATICOS, Computer Science::Formal Languages and Automata Theory, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::562c1100d0467b2627c3481e2d6b4d0d
http://hdl.handle.net/10251/51687

المؤلفون: Ruiz L., Edgar, Raffo L., Eduardo

المصدر: Industrial Data; Vol. 6 No. 1 (2003); 061-070
Industrial Data; Vol. 6 Núm. 1 (2003); 061-070
Revistas Universidad Nacional Mayor de San Marcos
Universidad Nacional Mayor de San Marcos
instacron:UNMSM

مصطلحات موضوعية: Transition graph, Autómata finito determinista, Determinist Finite Automaton, Grafo de transiciones, Autómata finito no determinista, Construcción de subconjuntos, Subset construction, Non-Determinist Finite Automaton

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b98944d00c41fab7dcc932d7128e118
https://revistasinvestigacion.unmsm.edu.pe/index.php/idata/article/view/5983

المؤلفون: Cañon Forero, Nathalie, Rodríguez Mora, Diego, Gutiérrez Calderón, Jenny, Amaya Hurtado, Darío, Avilés Sánchez, Oscar

المصدر: ITECKNE: Innovación e Investigación en Ingeniería, ISSN 1692-1798, Vol. 9, Nº. 2, 2012, pags. 128-134

مصطلحات موضوعية: Autómata Finito, Sistema Hibrido, sis- tema embebido

وصف الملف: application/pdf

Relation: https://dialnet.unirioja.es/servlet/oaiart?codigo=4991595

الاتاحة: https://dialnet.unirioja.es/servlet/oaiart?codigo=4991595

المؤلفون: Gutiérrez Ferrerías, Alejandro

المساهمون: Universitat Oberta de Catalunya, Clarisó Viladrosa, Robert, Bañeres Besora, David

المصدر: O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
Recercat. Dipósit de la Recerca de Catalunya
instname

مصطلحات موضوعية: graphs display, Programari d'aplicació -- Desenvolupament -- TFM, autómata finito, màquina de Moore, visualización de grafos, finite-state machine, visualització de grafs, Application software -- Development -- TFM, máquina de Moore, Moore machine, autòmata finit, Software de aplicación -- Desarrollo -- TFM

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1b3ea121458b51f699f4dc3aa28805d5

المؤلفون: Safe, Martin Dario, Vergara, Martina

مصطلحات موضوعية: SUBGRAFOS INDUCIDOS PROHIBIDOS MINIMALES, AUTÓMATA FINITO DETERMINISTA, LINEGRAPH SQUARES, PK-FREE, https://purl.org/becyt/ford/1.1, https://purl.org/becyt/ford/1

جغرافية الموضوع: Nacional

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/https://www.matematica.uns.edu.ar/xviicm/cuadernillo_xviicm_2023.pdf; http://hdl.handle.net/11336/211801; CONICET Digital; CONICET

الاتاحة: http://hdl.handle.net/11336/211801

المؤلفون: Oliva, Elisa Silvia, Diaz Ogás, Mathias Gabriel, Molina, Ana Laura, Alonso, Nancy E.

مصطلحات موضوعية: JFLAP, AUTÓMATA FINITO DETERMINÍSITICO, DERIVADA DE UNA EXPRESIÓN REGULAR, TIC, ALGORITMO, https://purl.org/becyt/ford/1.1, https://purl.org/becyt/ford/1

جغرافية الموضوع: Nacional

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.wicc2019.unsj.edu.ar/; http://hdl.handle.net/11336/160774; Abordaje de expresiones regulares y sus derivadas mediante la utilización del software JFLAP; XXI Workshop de Investigadores en Ciencias de la Computación; San Juan; Argentina; 2019; 925-929; CONICET Digital; CONICET

الاتاحة: http://hdl.handle.net/11336/160774

المؤلفون: Herrera Vargas, Marco Antonio

المساهمون: Huanca Sullca, Victor

المصدر: Universidad Nacional de San Antonio Abad del Cusco ; Repositorio Institucional - UNSAAC

مصطلحات موضوعية: Alfabeto, Cadena, Lenguaje, Autómata finito, Relación de equivalencia, Algoritmo, Minimización, http://purl.org/pe-repo/ocde/ford#1.01.00

وصف الملف: application/pdf

Relation: 253T20171238; http://hdl.handle.net/20.500.12918/3363

الاتاحة: https://hdl.handle.net/20.500.12918/3363