skip to main content
10.1145/1478462.1478532acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

Finite state automation: definition of data communication line control procedures

Published: 17 November 1970 Publication History

Abstract

The notions of finite state automata, state transition graphs and tables and the set of regular languages being accepted (generated) by such automata are well known. But for some reason these notions have not been rigorously applied in the definition of data communication line control procedures. It is the objective of this paper to do so and to show the naturalness of this approach. We claim that we thereby arrive at a complete, precise and unambiguous definition. Others have attempted this before us. They have, however, not used the descriptional tool of finite state automata. Any one or all of these references thus form the basis on which we will compete and we shall use essentially the line control procedures which these documents set out to define.

References

[1]
Ibm Corp General information, binary synchronous communication IBM Systems Reference Library (SRL) Form No A27-3004
[2]
J Eisenbies Conventions for data communication IBM Systems Journal Volume 6 Number 4 pp 267--302 1967
[3]
Ansi USA proposed standard data communication control procedures for USASCII Communications of the ACM Volume 12 Number 3 pp 166--178 March 1969
[4]
B Randell F W Zurcher Iterative multilevel modeling, a methodology for computer systems design IFIP Congress 68 Edinburgh August 5--10 1968 and B Randell Towards a methodology of computer system design NATO science committee report: Software engineering pp 204--208 Garmisch Germany October 7--11 1968
[5]
E W Dijkstra The structure of T.H.E. multiprogramming system Communications of the ACM Volume 11 Number 5 pp 341--346 May 1968 and E W Dijkstra Complexity controlled by hierarchical ordering of function and and variability NATO science committee report: Software engineering pp 181--185 Garmisch Germany October 7--11 1968
[6]
D Bjørner Flowchart machines IBM research report RJ685 San Jose California April 1970
[7]
E W Dijkstra Cooperating sequential processes Programming Languages Ed F Genuys Academic Press Chapter 2 pp 43--112 New York 1968
[8]
C A Petri Kommunikation mit automaten Schriften des Rheinisch-Westfalischen Institut für Instrumentelle Mathematik Universität Bonn Nummer 2 1962
[9]
A W Holt Information System theory project Report Applied Data Research Inc Princeton New Jersey September 1968 and A W Holt F Commoner Events and conditions, An approach to the description and analysis of dynamic systems Report Applied Data Research Inc Princeton New Jersey 1970
[10]
W C Lynch Commentary on the foregoing note Communications of the ACM Volume 12 Number 5 pp 261 and 265 May 1969
[11]
IBM CORP IBM 1070 process communication system IBM System Reference Library (SRL) Form Number A26-5780 pp 14--18 1968
[12]
D Bjørner The theory of finite state syntax directed transductions PhD Thesis Laboratory for Pulse- & Digital Techniques Technical University of Denmark Copenhagen January 1969

Cited By

View all
  • (1980)Executable Description and Validation of SNAIEEE Transactions on Communications10.1109/TCOM.1980.109469528:4(661-677)Online publication date: Apr-1980
  • (1973)ACCNETProceedings of the June 4-8, 1973, national computer conference and exposition10.1145/1499586.1499633(133-140)Online publication date: 4-Jun-1973
  1. Finite state automation: definition of data communication line control procedures

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    AFIPS '70 (Fall): Proceedings of the November 17-19, 1970, fall joint computer conference
    November 1970
    683 pages
    ISBN:9781450379045
    DOI:10.1145/1478462
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    • AFIPS: American Federation of Information Processing Societies

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 17 November 1970

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)48
    • Downloads (Last 6 weeks)6
    Reflects downloads up to 05 Mar 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (1980)Executable Description and Validation of SNAIEEE Transactions on Communications10.1109/TCOM.1980.109469528:4(661-677)Online publication date: Apr-1980
    • (1973)ACCNETProceedings of the June 4-8, 1973, national computer conference and exposition10.1145/1499586.1499633(133-140)Online publication date: 4-Jun-1973

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media