Research Output 1973 2019

Filter
Report
1974

Enkele onderwerpen uit de theorie der berekenbaarheid

Asveld, P. R. J., 1974, Enschede: University of Twente, Department of Applied Mathematics. 68 p.

Research output: Book/ReportReportOther research output

1975

Comments on a paper by Milner concerning the semantics of parallelism

Fokkinga, M. M., 1975, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

Controlled Iteration Grammars and Hyper-AFL's

Asveld, P. R. J., 1975, Enschede: University of Twente, Department of Applied Mathematics. 30 p.

Research output: Book/ReportReportOther research output

Infinite Chains of Hyper-AFL's

Asveld, P. R. J. & van Leeuwen, J., 1975, Enschede: University of Twente, Department of Applied Mathematics. 23 p.

Research output: Book/ReportReportOther research output

On Some Controlled ETOL-systems and Languages

Asveld, P. R. J., 1975, Enschede: University of Twente, Department of Applied Mathematics. 36 p.

Research output: Book/ReportReportOther research output

On the covering of parsable grammars

Nijholt, A., Sep 1975, Enschede: University of Twente, Department of Applied Mathematics. 56 p.

Research output: Book/ReportReportOther research output

Rational, Algebraic and Hyper-Algebraic Extensions of Families of Languages

Asveld, P. R. J., 1975, Enschede: University of Twente, Department of Applied Mathematics. 22 p.

Research output: Book/ReportReportOther research output

Regular extensions of some classes of grammars

Nijholt, A., Sep 1975, Enschede: University of Twente, Department of Applied Mathematics. 51 p.

Research output: Book/ReportReportOther research output

1976
11 Downloads (Pure)

A Characterization of ET0L and EDT0L Languages

Asveld, P. R. J., 1976, Enschede: University of Twente, Department of Applied Mathematics. 13 p. (Memorandum / Department of Applied Mathematics; no. 129)

Research output: Book/ReportReportOther research output

Open Access
File
Star
If and only if
Regular Languages
Homomorphism
Language

A proposal for dealing with abnormal termination of programs

Bron, C. & Fokkinga, M. M., Nov 1976, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

Controlled Iteration Grammars and Full Hyper-AFL's (revised and extended version).

Asveld, P. R. J., 1976, Enschede: University of Twente, Department of Applied Mathematics. 41 p.

Research output: Book/ReportReportOther research output

Extensions of Families of Languages: Lattices of Full X-AFL's

Asveld, P. R. J., 1976, Enschede: University of Twente, Department of Applied Mathematics. 34 p.

Research output: Book/ReportReportOther research output

Extensions of Language Families and Canonical Forms for the Corresponding AFL-structures

Asveld, P. R. J., 1976, Enschede: University of Twente, Department of Applied Mathematics. 13 p.

Research output: Book/ReportReportOther research output

Families talen en algebra

Asveld, P. R. J., 1976, Enschede: University of Twente, Faculty of Applied Mathematics. 16 p. (Memorandum; no. 162)

Research output: Book/ReportReportAcademic

Full Lindenmayer-AFL's and Related Language Families

Asveld, P. R. J., 1976, Enschede: University of Twente, Department of Applied Mathematics. 13 p.

Research output: Book/ReportReportOther research output

Iterated Deterministic Substitution

Asveld, P. R. J. & Engelfriet, J., 1976, Enschede: University of Twente, Department of Applied Mathematics. 27 p.

Research output: Book/ReportReportOther research output

Substitution
Grammar
Iteration
Language
Arbitrary

On the covering of left-recursive grammars

Nijholt, A., Apr 1976, Enschede: University of Twente, Department of Applied Mathematics. 27 p.

Research output: Book/ReportReportOther research output

1977

Exchanging Robustness of a Program for a Relaxation of its Specification

Fokkinga, M. M., Sep 1977, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

6 Downloads (Pure)

Extensions of Language Families and Canonical Forms for Full AFL-Structures

Asveld, P. R. J., 1977, Enschede: University of Twente, Department of Applied Mathematics. 34 p.

Research output: Book/ReportReportOther research output

File

On the use of continuations in Mathematical Semantics

Fokkinga, M. M., Jan 1977, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

5 Downloads (Pure)

Three Notes on Controlled Hyper-Algebraic and Dhyper-Algebraic Extensions

Asveld, P. R. J., 1977, Enschede: University of Twente, Department of Applied Mathematics. 7 p.

Research output: Book/ReportReportOther research output

File
1978

Extended Linear Macro Grammars, Iteration Grammars, and Register Programs

Asveld, P. R. J. & Engelfriet, J., 1978, Enschede: University of Twente, Department of Applied Mathematics. 45 p.

Research output: Book/ReportReportOther research output

Incomparable Elements in Algebraic Lattices with an Application to AFL-theory

Asveld, P. R. J., 1978, Enschede: University of Twente, Department of Applied Mathematics. 34 p.

Research output: Book/ReportReportOther research output

Operators on Language Families and Their Monoids

Asveld, P. R. J., 1978, Enschede: University of Twente, Department of Applied Mathematics. 23 p.

Research output: Book/ReportReportOther research output

1979

A Simpler correctness proof of an in-place permutation algorithm

Fokkinga, M. M., Mar 1979, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

On Controlled Iterated GSM Mappings and Related Operations

Asveld, P. R. J., 1979, Amsterdam: Dept. of Computer Science, Mathematical Centre. 11 p.

Research output: Book/ReportReportOther research output

Space-Bounded Complexity Classes and Iterated Deterministic Substitution

Asveld, P. R. J., 1979, Amsterdam: Dept. of Computer Science, Mathematical Centre. 21 p.

Research output: Book/ReportReportOther research output

1980

A framework for classes of grammars between the LL(k) and LR(k) grammars

Nijholt, A., Nov 1980, Hamilton, Canada: McMaster University. 22 p.

Research output: Book/ReportReportOther research output

13 Downloads (Pure)

On the Operational Structure of Algebraic Programming Systems

Asveld, P. R. J. & Tucker, J. V., 1980, Amsterdam: Dept. of Computer Science, Mathematical Centre. 37 p. (CWI report; no. IW 152/80)

Research output: Book/ReportReportOther research output

File
9 Downloads (Pure)

Time and Space Complexity of Inside-Out Macro Languages

Asveld, P. R. J., 1980, Amsterdam: Mathematical Centre, Deptartment of Computer Science. 13 p. (CWI report; no. 141/80)

Research output: Book/ReportReportOther research output

Open Access
File
Space Complexity
Time Complexity
Polynomial time
Pushdown Automata
Context-free Languages
1981
43 Downloads (Pure)

A Note on Non-Generators of Full AFL's

Asveld, P. R. J. & Engelfriet, J., 1981, Amsterdam: Mathematical Centre. 5 p. (Stichting Mathematisch Centrum; no. IW 184/81)

Research output: Book/ReportReportOther research output

File
1983

Over het nut en de mogelijkheden van typering

Fokkinga, M. M., 1983, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

Remarks on Defining the Complement of a Language

Asveld, P. R. J., 1983, Delft: Delft University of Technology. 3 p.

Research output: Book/ReportReportOther research output

1984

A notation for the most general form of repetition

Fokkinga, M. M., 1984, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

Augmented parsing methods

Nijholt, A., Nov 1984, Enschede: Technische Hogeschool Twente. 16 p.

Research output: Book/ReportReportOther research output

1985
22 Downloads (Pure)

A Family of Fibonacci-like Sequences

Asveld, P. R. J., 1985, Enschede: University of Twente, Department of Computer Science. 4 p. (Memoranda Informatica; no. INF-85-10)

Research output: Book/ReportReportOther research output

File
8 Downloads (Pure)

Complete Symmetry in D2L Systems and Cellular Automata

Asveld, P. R. J., 1985, Enschede: University of Twente, Department of Computer Science. 12 p. (Memoranda Informatica; no. INF-85-19)

Research output: Book/ReportReportOther research output

Open Access
File
Cellular Automata
Symmetry
Recursively Enumerable Languages
Complexity Classes
Turing Machine
1986
27 Downloads (Pure)

A Generator for Turing Machine Simulating Programs: User's Manual

Asveld, P. R. J. & Boiten, E. A., 1986, Enschede: University of Twente, Department of Computer Science. 10 p. (Memoranda Informatica; no. INF-86-31)

Research output: Book/ReportReportOther research output

Open Access
File
Turing machines
9 Downloads (Pure)

Another Family of Fibonacci-like Sequences

Asveld, P. R. J., 1986, Enschede: University of Twente, Department of Computer Science. 5 p. (Memoranda Informatica; no. INF-86-06)

Research output: Book/ReportReportOther research output

Open Access
File
Lame number
Difference equation
Express
Family

Backtracking and Branch-and-Bound functionally expressed

Fokkinga, M. M., 1986, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

15 Downloads (Pure)

Fibonacci-like Differential Equations with a Polynomial Non-Homogeneous Part

Asveld, P. R. J., 1986, Enschede: University of Twente, Department of Computer Science. 8 p. (Memoranda Informatica; no. INF-86-36)

Research output: Book/ReportReportOther research output

Open Access
File
Differential equation
Homogeneous differential equation
Polynomial
Factorial
Linear differential equation
1987

An Elementary Semantics for Cardelli's System of Multiple Inheritance

Fokkinga, M. M., 1987, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

6 Downloads (Pure)

Nonterminal Separating Macro Grammars

Hogendorp, J. A., 1987, Enschede: University of Twente, Department of Computer Science. 12 p. (Memoranda Informatica; no. INF-87-13)

Research output: Book/ReportReportOther research output

Open Access
File
Grammar
Context-free Grammar
Partial
Concepts
22 Downloads (Pure)

Theoretische Informatica

Verbeek, L. A. M., Nijholt, A. & Asveld, P. R. J., 1987, Enschede: University of Twente, Department of Computer Science. 12 p. (Memoranda Informatica; no. INF-87-08)

Research output: Book/ReportReportOther research output

Open Access
File
1988
6 Downloads (Pure)

A Simple Discrete System with Chaotic Behavior

Asveld, P. R. J., 1988, Enschede: University of Twente, Department of Computer Science. 6 p. (Memoranda Informatica; no. INF-88-51)

Research output: Book/ReportReportOther research output

Open Access
File
Chaotic Behavior
Discrete Systems
Strings
Less than or equal to
Deletion
16 Downloads (Pure)

Controlled Bidirectional Grammars

Hogendorp, J. A., 1988, Enschede: University of Twente, Department of Computer Science. 25 p. (Memoranda Informatica; no. INF-88-10)

Research output: Book/ReportReportOther research output

File
16 Downloads (Pure)

Controlled Rewriting Using Productions and Reductions.

Hogendorp, J. A., 1988, Enschede: University of Twente, Department of Computer Science. 16 p. (Memoranda Informatica; no. INF-88-53)

Research output: Book/ReportReportOther research output

File
7 Downloads (Pure)

Fibonacci-like Differential Equations with a Polynomial Non-Homogeneous Part (Revised Version)

Asveld, P. R. J., 1988, Enschede: University of Twente, Department of Computer Science. 7 p. (Memoranda Informatica; no. INF-88-10)

Research output: Book/ReportReportOther research output

Open Access
File
Differential equation
Homogeneous differential equation
Polynomial
Factorial
Linear differential equation