Logical Aspects of the Lexicographic Order on 1-Counter Languages
نویسنده
چکیده
منابع مشابه
Lexicographic Path Induction
Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of equality in type theory, equivalence testing of traces in security, etc. Although the principle of transfinite induction is routinely employed by logicians in proving such theorems, it is rarely used by programming languages r...
متن کاملLearning Regular Languages over Large Alphabets
Learning regular languages is a branch of machine learning, which has been proved useful in many areas, including artificial intelligence, neural networks, data mining, verification, etc. On the other hand, interest in languages defined over large and infinite alphabets has increased in recent years. Although many theories and properties generalize well from the finite case, learning such langu...
متن کاملIntuitive and logical way of thinking in the education of architectural design courses
Different approaches and methods are used in the architecture design process that logical and intuitional methods are the most common ones. The role of knowledge in each method is different. Investigating aspects of knowledge demonstrated the hierarchy from data to wisdom and the interaction of explicit and tacit types, subjective and objective sources, and analytical and exploratory ways of p...
متن کاملOn Lexicographic Enumeration of Regular and Context-Free Languages
We show that it is possible to e ciently enumerate the words of a regular language in lexicographic order. The time needed for generating the next word is O(n) when enumerating words of length n. We also de ne a class of context-free languages for which e cient enumeration is possible.
متن کاملA Sociological Study of Beyhaqi History Applying Robert Putnam’s Theory of Social Capital
The topic in question is concerned with the sociological aspect of literature referring to Iran’s literary and historical experience. The basis of sociological criticism is built on the premise that literary works are the products of social life and that a comprehensive understanding of a work without considering its social aspects is impractical. To reach a better, more scientific, and more pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013