Research Output 1973 2019

Filter
Report
1990

A Fibonacci-like Iterated Nonlinear Map or Order from Chaos in the Region of the Tiny Tornados

Asveld, P. R. J., 1990, Enschede: University of Twente, Department of Computer Science. 45 p.

Research output: Book/ReportReportOther research output

Criteria voor het beoordelen van tentamenuitwerkingen in het vak Programmeren [Assessment Criteria in Computer Programming Courses]

van den Berg, K., van Diepen, N. M., van Dijk, H. W., Koppelman, H., Moerkerke, G. & Roossink, H. J., Apr 1990, Enschede: University of Twente, Department of Computer Science. 80 p.

Research output: Book/ReportReportOther research output

On Text Processing Using ditroff and Related Tools under UNIX

Asveld, P. R. J., 1990, Enschede: University of Twente, Department of Computer Science. 24 p.

Research output: Book/ReportReportOther research output

15 Downloads (Pure)

Regularly Controlled Bidirectional Linear Basic Grammars

Hogendorp, J. A., 1990, Enschede: University of Twente, Department of Computer Science. 14 p. (Memoranda Informatica; no. INF-90-40)

Research output: Book/ReportReportOther research output

File
1989
8 Downloads (Pure)

Abstract Grammars Based on Transductions (Revised version)

Asveld, P. R. J., 1989, Enschede: University of Twente, Department of Computer Science. 18 p. (Memoranda Informatica; no. INF-89-07)

Research output: Book/ReportReportOther research output

Open Access
File
Grammar
Decidability
Iteration
Language
Family

A Fibonacci-like Iterated Nonlinear Map

Asveld, P. R. J., 1989, Enschede: University of Twente, Department of Computer Science. 6 p.

Research output: Book/ReportReportOther research output

Incomparable Elements in Algebraic Lattices with Applications to Formal Language Theory

Asveld, P. R. J., 1989, Enschede: University of Twente, Department of Computer Science. 22 p.

Research output: Book/ReportReportOther research output

24 Downloads (Pure)

On the Generating Power of Regularly Controlled Bidirectional Grammars

Asveld, P. R. J. & Hogendorp, J. A., 1989, Enschede: University of Twente, Department of Computer Science. 18 p. (Memoranda Informatica; no. INF 89-68)

Research output: Book/ReportReportOther research output

Open Access
File
Context free grammars
Formal languages
11 Downloads (Pure)

Regularly Controlled Bidirectional Extended Linear Basic Grammars (Revised and extended version)

Hogendorp, J. A., 1989, Enschede: University of Twente, Department of Computer Science. 45 p. (Memoranda Informatica; no. INF-89-69)

Research output: Book/ReportReportOther research output

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
72 Downloads (Pure)

On a Post's System of Tag

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

Research output: Book/ReportReportOther research output

Open Access
File
Strings
Deletion
Range of data
Form
24 Downloads (Pure)

Time-Bounded Controlled Bidirectional Grammars

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

Research output: Book/ReportReportOther research output

File
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
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
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
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

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

1981
42 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
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
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

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

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
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