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
Author(s):  
Mingsheng Ying ◽  
Runyao Duan ◽  
Yuan Feng ◽  
Zhengfeng Ji

2019 ◽  
Vol 6 (7) ◽  
pp. 190139 ◽  
Author(s):  
T. Morita ◽  
H. Koda

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.


Author(s):  
Jonathan Julián Huerta y Munive ◽  
Georg Struth

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.


Sign in / Sign up

Export Citation Format

Share Document