scholarly journals Combining predicate transformer semantics for effects: a case study in parsing regular languages

2020 ◽  
Vol 317 ◽  
pp. 39-56
Author(s):  
Anne Baanen ◽  
Wouter Swierstra
Keyword(s):  
Regular Languages ◽  
Predicate Transformer ◽  
Predicate Transformer Semantics

scholarly journals Predicate Transformer Semantics of Quantum Programs

2014 ◽  
pp. 311-360 ◽  
Author(s):  
Mingsheng Ying ◽  
Runyao Duan ◽  
Yuan Feng ◽  
Zhengfeng Ji
Keyword(s):  
Predicate Transformer ◽  
Predicate Transformer Semantics

scholarly journals Superregular grammars do not provide additional explanatory power but allow for a compact analysis of animal song

2019 ◽  
Vol 6 (7) ◽  
pp. 190139 ◽  
Author(s):  
T. Morita ◽  
H. Koda
Keyword(s):  
Computational Complexity ◽  
Empirical Evidence ◽  
Null Hypothesis ◽  
Computational Analysis ◽  
Explanatory Power ◽  
Regular Languages ◽  
Human Language ◽  
Human Data ◽  
Using Data

A pervasive belief with regard to the differences between human language and animal vocal sequences ( song ) is that they belong to different classes of computational complexity, with animal song belonging to regular languages, whereas human language is superregular. This argument, however, lacks empirical evidence since superregular analyses of animal song are understudied. The goal of this paper is to perform a superregular analysis of animal song, using data from gibbons as a case study, and demonstrate that a superregular analysis can be effectively used with non-human data. A key finding is that a superregular analysis does not increase explanatory power but rather provides for compact analysis: fewer grammatical rules are necessary once superregularity is allowed. This pattern is analogous to a previous computational analysis of human language, and accordingly, the null hypothesis, that human language and animal song are governed by the same type of grammatical systems, cannot be rejected.

scholarly journals Predicate Transformer Semantics for Hybrid Systems

2021 ◽  
Author(s):  
Jonathan Julián Huerta y Munive ◽  
Georg Struth
Keyword(s):  
Hybrid Systems ◽  
Vector Fields ◽  
Dynamic Logic ◽  
Invariant Sets ◽  
Deductive Verification ◽  
Semantic Framework ◽  
Verification Of Hybrid Systems ◽  
Predicate Transformer ◽  
Predicate Transformer Semantics

AbstractWe present a semantic framework for the deductive verification of hybrid systems with Isabelle/HOL. It supports reasoning about the temporal evolutions of hybrid programs in the style of differential dynamic logic modelled by flows or invariant sets for vector fields. We introduce the semantic foundations of this framework and summarise their Isabelle formalisation as well as the resulting verification components. A series of simple examples shows our approach at work.

scholarly journals Predicate transformer semantics

1995 ◽  
Vol 24 (1) ◽  
pp. 100-102
Author(s):  
David Schmidt
Keyword(s):  
Predicate Transformer ◽  
Predicate Transformer Semantics
Sign in / Sign up

Export Citation Format

Share Document