2,545 research outputs found
Constructing Deterministic Parity Automata from Positive and Negative Examples
No full textWe present a polynomial time algorithm that constructs a deterministic parity automaton (DPA) from a given set of positive and negative ultimately periodic example words. We show that this algorithm is complete for the class of -regular languages, that is, it can learn a DPA for each regular -language. For use in the algorithm, we give a definition of a DPA, that we call the precise DPA of a language, and show that it can be constructed from the syntactic family of right congruences for that language (introduced by Maler and Staiger in 1997). Depending on the structure of the language, the precise DPA can be of exponential size compared to a minimal DPA, but it can also be a minimal DPA. The upper bound that we obtain on the number of examples required for our algorithm to find a DPA for is therefore exponential in the size of a minimal DPA, in general. However we identify two parameters of regular -languages such that fixing these parameters makes the bound polynomial.47 pages, TheoretiCS articl
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
No full textThe RPNI algorithm (Oncina, Garcia 1992) constructs deterministic finite automata from finite sets of negative and positive example words. We propose and analyze an extension of this algorithm to deterministic ω-automata with different types of acceptance conditions. In order to obtain this generalization of RPNI, we develop algorithms for the standard acceptance conditions of ω-automata that check for a given set of example words and a deterministic transition system, whether these example words can be accepted in the transition system with a corresponding acceptance condition. Based on these algorithms, we can define the extension of RPNI to infinite words. We prove that it can learn all deterministic ω-automata with an informative right congruence in the limit with polynomial time and data. We also show that the algorithm, while it can learn some automata that do not have an informative right congruence, cannot learn deterministic ω-automata for all regular ω-languages in the limit. Finally, we also prove that active learning with membership and equivalence queries is not easier for automata with an informative right congruence than for general deterministic ω-automata
Passive Learning of Deterministic Büchi Automata by Combinations of DFAs
No full textWe present an algorithm that constructs a deterministic Büchi automaton in polynomial time from given sets of positive and negative example words. This learner constructs multiple DFAs using a polynomial-time active learning algorithm on finite words as black box using an oracle that we implement based on the given sample of ω-words, and combines these DFAs into a single DBA. We prove that the resulting algorithm can learn a DBA for each DBA-recognizable language in the limit by providing a characteristic sample for each DBA-recognizable language. We can only guarantee completeness of our algorithm for the full class of DBAs through characteristic samples that are, in general, exponential in the size of a minimal DBA for the target language. But we show that for each fixed k these characteristic samples are of polynomial size for the class of DBAs in which each subset of pairwise language-equivalent states has size at most k
Hacienda de San Pedro: General Zuazua, Nuevo León
No full textLa información de esta miniguía se basa en trabajos de Roberto Rebolloso, Carlos Gustavo Leal Velasco, Raúl Martínez Villarreal y Flor Navarro José, así como en investigaciónes realizadas por el Centro Regional Nuevo León del INAH y en el tomo 4 (Nuevo León) del Catalogo Nacional de Monumentos Historicos Inmuebles.El nombre de la hacienda se debe quizá, a que al referirse a la casona y a la acequia como un mismo lugar, la población la denominó San Pedro, pues al lado oriente del casco se encontraban los terrenos de San Pedro, originalmente conocidos como el Tronco de Melchor; por ello la Hacienda de San Pedro también se conoce como la Casa de Melchor. La Hacienda de San Pedro tiene gran importancia histórico-cultural para el estado, porque como fue construida en 1666 se trata probablemente de la edificación formal más antigua de Nuevo León. Igualmente, representa uno de Vista lateral los primeros centros de desarrollo económico y social en el estado; en su mejor época, esta hacienda tuvo tanta actividad agropecuaria que se convirtió en un importante núcleo de trabajo en la región.</p
Saturation Problems for Families of Automata
No full textFamilies of deterministic finite automata (FDFA) represent regular ω-languages through their ultimately periodic words (UP-words). An FDFA accepts pairs of words, where the first component corresponds to a prefix of the UP-word, and the second component represents a period of that UP-word. An FDFA is termed saturated if, for each UP-word, either all or none of the pairs representing that UP-word are accepted. We demonstrate that determining whether a given FDFA is saturated can be accomplished in polynomial time, thus improving the known PSPACE upper bound by an exponential. We illustrate the application of this result by presenting the first polynomial learning algorithms for representations of the class of all regular ω-languages. Furthermore, we establish that deciding a weaker property, referred to as almost saturation, is PSPACE-complete. Since FDFAs do not necessarily define regular ω-languages when they are not saturated, we also address the regularity problem and show that it is PSPACE-complete. Finally, we explore a variant of FDFAs called families of deterministic weak automata (FDWA), where the semantics for the periodic part of the UP-word considers ω-words instead of finite words. We demonstrate that saturation for FDWAs is also decidable in polynomial time, that FDWAs always define regular ω-languages, and we compare the succinctness of these different models
Poetry Reading By Raina J. León
No full textRaina J. León is the author of two prize-wining poetry collections, Canticle of Idols, and Boogeyman Dawn. Her third book, dis(locate), will be released in 2016. She is a founding editor of The Acentos Review, an online journal devoted to Latino and Latina arts. She is a member of the Carolina African American Writers Collective, and a fellow of Cave Canem and CantoMundo. She is an assistant professor of education at Saint Mary’s College of California.This event is sponsored by Critical Race, Gender and Sexuality Studies (CRGS) Department, The HSU Diversity Program Funding, the HSU Library, and the English Department. Refreshments will be provided
El Tlacuache Núm. 519 (2012). 519 Año 13 (2012) mayo. El Tlacuache
No full textDel Proyecto “Ciudades Sagradas del México Antiguo” en Xochicalco por José Cuauhtli A. Medina Romero. -Otra vez tierra adentro, mar afuera por Antonio García de León por Una pequeña muestra de la gran diversidad de especies en Xochicalco por José Cuauhtli A. Medina Romero
Poetry Reading by Raina J. León
No full textRaina J. León is the author of two prize-wining poetry collections, Canticle of Idols, and Boogeyman Dawn. Her third book, dis(locate), will be released in 2016. She will read in the Library Fishbowl on Wednesday, March 4 at Noon. She is a founding editor of The Acentos Review, an online journal devoted to Latino and Latina arts. She is a member of the Carolina African American Writers Collective, and a fellow of Cave Canem and CantoMundo. She is an assistant professor of education at Saint Mary’s College of California.This event is sponsored by Critical Race, Gender and Sexuality Studies (CRGS) Department, The HSU Diversity Program Funding, the HSU Library, and the English Department
Distinción del senado de la República al doctor Miguel León-Portilla
No full textAcceptance speech by Miguel León-Portilla upon receiving the Belisario Domínguez Medal from the Senate of the Republic. The author pays tribute to Belisario Domínguez, highlighting his courage and defense of democracy, justice, and liberty against tyranny. León-Portilla reflects on Mexico's complex reality, pointing out deep social inequalities, poverty particularly affecting indigenous communities, the demographic explosion and its urban consequences, and corruption as an endemic evil hindering development. He emphasizes Mexico's rich historical and cultural heritage, from Mesoamerican civilizations to the Mexican Revolution, and the crucial role of education in building a better future. Finally, he stresses education in its broadest sense as a national priority to achieve "Freedom through Knowledge," enabling citizens to overcome injustice and corruption and take control of their destinyDiscurso de aceptación de Miguel León-Portilla al recibir la medalla Belisario Domínguez del Senado de la República. El autor rinde homenaje a Belisario Domínguez, destacando su valentía y defensa de la democracia, la justicia y la libertad frente a la tiranía. León-Portilla reflexiona sobre la compleja realidad de México, señalando las profundas desigualdades sociales, la pobreza que afecta especialmente a las comunidades indígenas, la explosión demográfica y sus consecuencias urbanas, y la corrupción como un mal endémico que obstaculiza el desarrollo. Recalca la rica herencia histórica y cultural de México, desde las civilizaciones mesoamericanas hasta la Revolución Mexicana, y el papel crucial de la educación en la construcción de un futuro mejor. Finalmente, enfatiza la educación en su sentido más amplio como prioridad nacional para alcanzar la "Libertad por el Saber", permitiendo a los ciudadanos superar la injusticia y la corrupción, y ser dueños de su destinoUniversidad Nacional Autónoma de México. Instituto de Investigaciones Histórica
Discurso de recepción de la Medalla Belisario Domínguez
No full textDiscurso de aceptación de Miguel León-Portilla al recibir la medalla Belisario Domínguez del Senado de la República. El autor rinde homenaje a Belisario Domínguez, destacando su valentía y defensa de la democracia, la justicia y la libertad frente a la tiranía. León-Portilla reflexiona sobre la compleja realidad de México, señalando las profundas desigualdades sociales, la pobreza que afecta especialmente a las comunidades indígenas, la explosión demográfica y sus consecuencias urbanas, y la corrupción como un mal endémico que obstaculiza el desarrollo. Recalca la rica herencia histórica y cultural de México, desde las civilizaciones mesoamericanas hasta la Revolución Mexicana, y el papel crucial de la educación en la construcción de un futuro mejor. Finalmente, enfatiza la educación en su sentido más amplio como prioridad nacional para alcanzar la "Libertad por el Saber", permitiendo a los ciudadanos superar la injusticia y la corrupción, y ser dueños de su destinoAcceptance speech by Miguel León-Portilla upon receiving the Belisario Domínguez Medal from the Senate of the Republic. The author pays tribute to Belisario Domínguez, highlighting his courage and defense of democracy, justice, and liberty against tyranny. León-Portilla reflects on Mexico's complex reality, pointing out deep social inequalities, poverty particularly affecting indigenous communities, the demographic explosion and its urban consequences, and corruption as an endemic evil hindering development. He emphasizes Mexico's rich historical and cultural heritage, from Mesoamerican civilizations to the Mexican Revolution, and the crucial role of education in building a better future. Finally, he stresses education in its broadest sense as a national priority to achieve "Freedom through Knowledge," enabling citizens to overcome injustice and corruption and take control of their destinyUniversidad Nacional Autónoma de México, Instituto de Investigaciones Histórica
- …
