المؤلفون: Cotumaccio, Nicola

المساهمون: Nicola Cotumaccio

مصطلحات موضوعية: Generalized Automata, Myhill-Nerode Theorem, Regular Languages, Wheeler Graphs, FM-index, Burrows-Wheeler Transform

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

العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197369; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.26Test

الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.26Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197369Test

المؤلفون: A. I. Belousov, R. S. Ismagilov

المصدر: Matematika i Matematičeskoe Modelirovanie, Vol 0, Iss 4, Pp 1-11 (2018)

مصطلحات موضوعية: language, regular language, index of equivalence relation, arithmetic vector space, direct sum of vector spaces, myhill-nerode theorem, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: https://www.mathmelpub.ru/jour/article/view/121Test; https://doaj.org/toc/2412-5911Test

الوصول الحر: https://doaj.org/article/a0234dc387e544dead1fa13f64e70373Test

المؤلفون: Cotumaccio N., D'Agostino G., Policriti A., Prezza N.

المساهمون: Cotumaccio, N., D'Agostino, G., Policriti, A., Prezza, N.

مصطلحات موضوعية: Additional Key Words and PhrasesGraph compression, Burrows-Wheeler Transform, FM-index, FPT, Myhill-Nerode Theorem, powerset construction, Wheeler graphs

العلاقة: volume:70; issue:4; firstpage:1; lastpage:73; numberofpages:73; journal:JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY; https://hdl.handle.net/11390/1262304Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85170241561

الإتاحة: https://doi.org/10.1145/3607471Test
https://hdl.handle.net/11390/1262304Test

المؤلفون: Boiret, Adrien, Lemay, Aurélien, Niehren, Joachim

المساهمون: Linking Dynamic Data (LINKS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Université de LilleInria Lille - Nord EuropeCPER Nord-Pas de Calais/FEDER DATA Advanceddata science and technologies 2015-2020, Links project of Inria & Cristal ( Umr 9189)

المصدر: International Conference on Grammatical Inference 2016 ; https://inria.hal.science/hal-01357186Test ; International Conference on Grammatical Inference 2016, Oct 2016, Delft, Netherlands ; http://icgi2016.tudelft.nlTest/

مصطلحات موضوعية: Tree Transducers, Myhill-Nerode Theorem, Normal Form, Gold model Learning, [INFO]Computer Science [cs], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

جغرافية الموضوع: Delft, Netherlands

العلاقة: hal-01357186; https://inria.hal.science/hal-01357186Test; https://inria.hal.science/hal-01357186/documentTest; https://inria.hal.science/hal-01357186/file/0.pdfTest

الإتاحة: https://inria.hal.science/hal-01357186Test
https://inria.hal.science/hal-01357186/documentTest
https://inria.hal.science/hal-01357186/file/0.pdfTest

المؤلفون: Robert G. Underwood

المصدر: Axioms, Vol 1, Iss 2, Pp 155-172 (2012)

مصطلحات موضوعية: algebra, coalgebra, bialgebra, Myhill–Nerode theorem, Myhill–Nerode bialgebra, quasitriangular structure, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: http://www.mdpi.com/2075-1680/1/2/155Test; https://doaj.org/toc/2075-1680Test

الوصول الحر: https://doaj.org/article/d15bd7e8ad5d403887f7c8aea9654fedTest

المؤلفون: Boiret, Adrien, Lemay, Aurélien, Niehren, Joachim

المساهمون: Linking Dynamic Data (LINKS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Université de LilleInria Lille-Nord EuropeCPER Nord-Pas de Calais/FEDER DATA Advanced data science and technologies 2015-2020, Links project of Inria & Cristal ( Umr 9189)

المصدر: https://inria.hal.science/hal-01357627Test ; 2017.

مصطلحات موضوعية: Tree Transducers, Myhill-Nerode Theorem, Learning algorithms, Normal Form, [INFO]Computer Science [cs], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

العلاقة: hal-01357627; https://inria.hal.science/hal-01357627Test; https://inria.hal.science/hal-01357627/documentTest; https://inria.hal.science/hal-01357627/file/0.pdfTest

الإتاحة: https://inria.hal.science/hal-01357627Test
https://inria.hal.science/hal-01357627/documentTest
https://inria.hal.science/hal-01357627/file/0.pdfTest

المؤلفون: Frits W. Vaandrager, Abhisek Midya

المصدر: Theoretical Aspects of Computing – ICTAC 2020 ISBN: 9783030642754
ICTAC

مصطلحات موضوعية: Discrete mathematics, Sequence, Finite-state machine, Myhill–Nerode theorem, Generalization, Semantics (computer science), Structure (category theory), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 010201 computation theory & mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Partial equivalence relation, Equivalence (measure theory), Mathematics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::9855fd7fc6765eceed459c333cf74bb2Test
https://doi.org/10.1007/978-3-030-64276-1_3Test

المؤلفون: José Ramón González de Mendívil

المصدر: Fuzzy Sets and Systems. 301:103-115

مصطلحات موضوعية: Discrete mathematics, Fuzzy classification, Myhill–Nerode theorem, Fuzzy measure theory, Logic, 05 social sciences, 050301 education, 02 engineering and technology, Fuzzy subalgebra, Type-2 fuzzy sets and systems, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Fuzzy number, Fuzzy set operations, 020201 artificial intelligence & image processing, Fuzzy associative matrix, 0503 education, Computer Science::Formal Languages and Automata Theory, Mathematics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::9205095444db53a6b568b4d694b5b1ccTest
https://doi.org/10.1016/j.fss.2015.12.011Test

المؤلفون: Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.dcs.ed.ac.uk/home/pbj/papers/auto.ps.gzTest.

مصطلحات موضوعية: Martin-Lof semantics, Myhill-Nerode theorem, Nuprl, program extraction

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8817Test; http://www.dcs.ed.ac.uk/home/pbj/papers/auto.ps.gzTest

الإتاحة: http://www.dcs.ed.ac.uk/home/pbj/papers/auto.ps.gzTest

المؤلفون: Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cornell.edu/Info/Projects/NuPrl/html/./documents/Construct_Formal_AT/title.psTest.

مصطلحات موضوعية: Key Words and Phrases, automata, constructivity, congruence, equivalence relation, formal languages, LCF, Martin-Lof semantics, Myhill-Nerode theorem, Nuprl, program extraction, propositions-as-types, quotient types, regular languages, state minimization, tactics, type theory

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.2013Test; http://www.cs.cornell.edu/Info/Projects/NuPrl/html/./documents/Construct_Formal_AT/title.psTest

الإتاحة: http://www.cs.cornell.edu/Info/Projects/NuPrl/html/./documents/Construct_Formal_AT/title.psTest