<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>2448-5705</journal-id>
<journal-title><![CDATA[Inter disciplina]]></journal-title>
<abbrev-journal-title><![CDATA[Inter disciplina]]></abbrev-journal-title>
<issn>2448-5705</issn>
<publisher>
<publisher-name><![CDATA[Universidad Nacional Autónoma de México, Centro de Investigaciones Interdisciplinarias en Ciencias y Humanidades]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S2448-57052022000200271</article-id>
<article-id pub-id-type="doi">10.22201/ceiich.24485705e.2022.27.82155</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Apuntes para la formalización de una teoría de autómatas judiciales]]></article-title>
<article-title xml:lang="en"><![CDATA[Notes for the formalization of a theory of judicial automata]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Mansilla]]></surname>
<given-names><![CDATA[Andrés]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Nacional Autónoma de México Facultad de Derecho ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>08</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>08</month>
<year>2022</year>
</pub-date>
<volume>10</volume>
<numero>27</numero>
<fpage>271</fpage>
<lpage>288</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S2448-57052022000200271&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S2448-57052022000200271&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S2448-57052022000200271&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen La finalidad de este estudio es demostrar la posible automatización del desahogo de los procesos judiciales y en muchos casos de la propia decisión judicial. Por lo que para el cometido de tal propósito debemos establecer y demostrar en primer lugar la predictibilidad del desahogo de los procesos judiciales basado en la necesaria certidumbre jurídica que busca brindar el denominado Estado de derecho. En segundo lugar, demostrar que los procesos judiciales son sistemas abiertos de entradas y salidas, estableciendo a su vez que los valores de entrada y salida de tal sistema son la pretensión de partes y la decisión judicial. Por último, se pasa a describir la configuración de la teoría de autómatas, las demostraciones formales para la construcción de estos y la viabilidad práctica de implementación de un autómata judicial en un sistema jurídico determinado.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract The purpose of this study is to demonstrate the possible automation of the judicial processes release and in many cases of the judicial decision itself. Therefore, for the purpose of this task, we must initially establish and demonstrate in the first place the predictability of the development of the judicial processes based on the necessary legal certainty that the rule of law seeks to provide. Second, to demonstrate that judicial processes are input and output systems, establishing in turn that the input and output values of such a system are the claims of the parties and the judicial decision. Finally, going on to describe the configuration of the automaton theory, the formal demonstrations for their construction and the practical feasibility of implementing a judicial automata in each legal system.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[estado de derecho]]></kwd>
<kwd lng="es"><![CDATA[teoría de autómatas]]></kwd>
<kwd lng="es"><![CDATA[procesos judiciales]]></kwd>
<kwd lng="es"><![CDATA[sistemas de entrada y salida]]></kwd>
<kwd lng="en"><![CDATA[rule of law]]></kwd>
<kwd lng="en"><![CDATA[automaton theory]]></kwd>
<kwd lng="en"><![CDATA[judicial processes]]></kwd>
<kwd lng="en"><![CDATA[input and output systems]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Alcalá Zamora y Castillo]]></surname>
<given-names><![CDATA[Niceto]]></given-names>
</name>
</person-group>
<source><![CDATA[Proceso, autocomposición y autodefensa]]></source>
<year>2000</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Universidad Nacional Autónoma de México]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Alchourrón]]></surname>
<given-names><![CDATA[Carlos]]></given-names>
</name>
<name>
<surname><![CDATA[Bulygin]]></surname>
<given-names><![CDATA[Eugenio]]></given-names>
</name>
</person-group>
<source><![CDATA[Análisis lógico y derecho]]></source>
<year>1991</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Centro de Estudios Constitucionales]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Atienza]]></surname>
<given-names><![CDATA[Manuel]]></given-names>
</name>
</person-group>
<source><![CDATA[Las razones del derecho]]></source>
<year>2003</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Instituto de Investigaciones Jurídicas - Universidad Nacional Autónoma de México]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Atienza]]></surname>
<given-names><![CDATA[Manuel]]></given-names>
</name>
</person-group>
<source><![CDATA[Curso de Argumentación Jurídica]]></source>
<year>2015</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Trotta]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cáceres Nieto]]></surname>
<given-names><![CDATA[Enrique]]></given-names>
</name>
</person-group>
<source><![CDATA[Constructivismo jurídico, verdad y prueba]]></source>
<year>2005</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Instituto de Investigaciones Jurídicas]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chevalier]]></surname>
<given-names><![CDATA[Jacques]]></given-names>
</name>
</person-group>
<source><![CDATA[Estado de derecho]]></source>
<year>2015</year>
<publisher-loc><![CDATA[Bogotá, Colombia ]]></publisher-loc>
<publisher-name><![CDATA[Universidad Externado de Colombia]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chomsky]]></surname>
<given-names><![CDATA[Noam]]></given-names>
</name>
</person-group>
<source><![CDATA[Estructuras sintácticas]]></source>
<year>2017</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Siglo Veintiuno Editores]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chomsky]]></surname>
<given-names><![CDATA[Noam]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Three models for the description of languague]]></article-title>
<source><![CDATA[IRE transactions on information theory]]></source>
<year>1956</year>
<volume>2</volume>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Copi]]></surname>
<given-names><![CDATA[Irving M.]]></given-names>
</name>
<name>
<surname><![CDATA[Cohen]]></surname>
<given-names><![CDATA[Carl]]></given-names>
</name>
</person-group>
<source><![CDATA[Introducción a la lógica]]></source>
<year>2013</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Limusa]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fix Zamudio]]></surname>
<given-names><![CDATA[Héctor]]></given-names>
</name>
<name>
<surname><![CDATA[Ovalle Fabela]]></surname>
<given-names><![CDATA[José]]></given-names>
</name>
</person-group>
<source><![CDATA[Derecho procesal]]></source>
<year>1991</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Instituto de Investigaciones Jurídicas - Universidad Nacional Autónoma de México]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gross]]></surname>
<given-names><![CDATA[Maurice]]></given-names>
</name>
<name>
<surname><![CDATA[Lentin]]></surname>
<given-names><![CDATA[Andre]]></given-names>
</name>
</person-group>
<source><![CDATA[Nociones de gramáticas formales]]></source>
<year>1970</year>
<edition>2</edition>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Tecnos]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hopcroft]]></surname>
<given-names><![CDATA[John E.]]></given-names>
</name>
<name>
<surname><![CDATA[Motwani]]></surname>
<given-names><![CDATA[Rajeev]]></given-names>
</name>
<name>
<surname><![CDATA[Ullman]]></surname>
<given-names><![CDATA[Jeffrey D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Teoría de autómatas, lenguajes y computación]]></source>
<year>2008</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Pearson Educación]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kelly]]></surname>
<given-names><![CDATA[Dean]]></given-names>
</name>
</person-group>
<source><![CDATA[Teoría de autómatas y lenguajes formales]]></source>
<year>1995</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Pearson Educación]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Smith]]></surname>
<given-names><![CDATA[Edward E.]]></given-names>
</name>
<name>
<surname><![CDATA[Kosslyn]]></surname>
<given-names><![CDATA[Stephen M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Procesos cognitivos: modelos y bases neuronales]]></source>
<year>2008</year>
<page-range>12</page-range><publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Pearson Educación]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Von Bertalanffy]]></surname>
<given-names><![CDATA[Ludwig]]></given-names>
</name>
</person-group>
<source><![CDATA[Teoría general de sistemas]]></source>
<year>1976</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Fondo de Cultura Económica]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
