منابع مشابه
Some Subclasses of Linear Languages based on Nondeterministic Linear Automata
In this paper we consider the class of λ-nondeterministic linear automata as a model of the class of linear languages. As usual in other automata models, λ-moves do not increase the acceptance power. The main contribution of this paper is to introduce the deterministic linear automata and even linear automata, i.e. the natural restriction of nondeterministic linear automata for the deterministi...
متن کاملSome global aspects of linear wave equations
This paper surveys a few aspects of the global theory of wave equations. This material is structured around the contents of a minicourse given by the second author during the CMI/ETH Summer School on evolution equations during the Summer of 2008.
متن کاملSome Semantical Aspects of Linear Logic
We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard’s coherence spaces and de Paiva’s Dialectica-like semantics.1
متن کاملSome Automata{theoretic Aspects of Min{max{plus Semirings
This paper is devoted to the survey of some automata-theoretic aspects of diierent exotic semirings, i.e. semirings whose underlying set is some subset of R equiped with min, max or + as sum and/or product. We here adress three types of properties related with rational series with multiplicities in such semirings : structure of supports, decidability of equality and inequality problems, Fatou p...
متن کاملSome implementation aspects of the general linear methods withinherent Runge-Kutta stability
In this paper we try to put different practical aspects of the general linear methods discussed in the papers [1,6,7] under one algorithm to show more details of its implementation. With a proposed initial step size strategy this algorithm shows a better performance in some problems. To illustrate the efficiency of the method we consider some standard test problems and report more useful detail...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1972
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(72)90865-0