Search results for "languages"
showing 10 items of 2101 documents
Verification of Well-Formed Communicating Recursive State Machines
2008
AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…
ATL model checking in the cloud
2015
This paper gives an overview of our recent work on implementing a new interactive ATL model checker for verification of open systems. In verification based on model checking, we need to provide a model of the system and also write down the properties (ATL formulas) that we require the system to satisfy. Traditionally, the semantics of ATL is given in terms of concurrent game structures. In contrast to previous approaches, our tool permits an interactive design of the ATL models as state-transition graphs, and is based on client/server architecture. The server part, published as Web service in OpenShift cloud platform, embeds the core of the ATL model checker, and the client provides an intu…
Minimal Büchi Automata for Certain Classes of LTL Formulas
2009
In this paper we calculate the minimal number of states of Buchi automata which encode some classes of linear temporal logic (LTL) formulas that are frequently used in model checking. Our results may be used for verification of the quality of algorithms which automatically translate LTL formulas into Buchi automata and for improving the quality and speed of such translators. In the last section of this paper we compare our lower-bound estimations to Buchi automata generated by two currently used translators: LTL2BA and SPOT.
Star-free trace languages
1992
Abstract Generalizing a classical result of Schutzenberger to free partially commutative monoids, we prove that the family of star-free trace languages coincides with the family of aperiodic trace languages.
Perspectives on Language and Linguistics
2021
The scientific interests of Lucio Melazzo have been addressed to diverse research fields, from ancient to modern Indo-European languages, from etymology to formal syntax, from history of linguistics to studies on ancient Greek philosophers. On occasion of his retirement from his university activities, we have decided to offer him this volume, which gathers the contributions of many distinguished scholars who have accepted to participate in this project. We appreciate that the variety of the book contents reflects the variety of Lucio Melazzo’s own interests.
Valoda: nozīme un forma, 6: Valodas sistēma un lietojums
2015
Rakstu krājums „Valoda: nozīme un forma. 6. Valodas sistēma un lietojums” ir Latvijas Universitātes Humanitāro zinātņu fakultātes Latviešu un vispārīgās valodniecības katedras (sadarbībā ar Baltu valodniecības katedru) 2014. gada 20. un 21. martā rīkotās 50. profesora Artura Ozola dienas starptautiskās zinātniskās konferences „Vispārīgā valodniecība: valodas sistēma un lietojums” referātu apkopojums.
Enhanced query processing for NoSQL crowdsourcing systems
2014
In this paper, we provide a novel approach for effectively and efficiently support query processing tasks in novel NoSQL crowdsourcing systems. The idea of our method is to exploit the social knowledge available from reviews about products of any kind, freely provided by customers through specialized web sites. We thus define a NoSQL database system for large collections of product reviews, where queries can be expressed in terms of natural language sentences whose answers are modeled as lists of products ranked based on the relevance of reviews w.r.t. the natural language sentences. The best ranked products in the result list can be seen as the best hints for the user based on crowd opinio…
Starptautiskās valodas problēma
1935
Wordarrows: El poder representativo del lenguaje en la obra de no ficción de N. Scott Momaday
2012
This article focuses on two non-fiction works by Native American author N. Scott Momaday: his 1969 historical memoir The Way to Rainy Mountain and his essay collection The Man Made of Words. It specifically tackles performative conceptions of language in the Kiowa storytelling tradition, where words are experienced as speech acts that have the power to intervene in surrounding realities. Taking into account 20th century ethno-cultural and linguistic policies in the United States, the article also reflects on the role indigenous languages may play in contemporary Native American Literature, which has most often been written in English.