MATHEMATICAL MODELS OF INFORMATION SYSTEMS

This report summarizes research in the development of mathematical models of information processing systems. Particular attention is given to a new approach to automata theory, the use of multiple index matrices in generalized automata theory, asymptotic decomposition of machines, recognizability of...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Garner, Harvey L
Format: Report
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Garner, Harvey L
description This report summarizes research in the development of mathematical models of information processing systems. Particular attention is given to a new approach to automata theory, the use of multiple index matrices in generalized automata theory, asymptotic decomposition of machines, recognizability of equation sets, algebraic isomorphism invariants for transition graphs, iterative network realization of sequential machines, optimum sequencing of jobs subject to deadlines, and the theory of formal languages and its impact on the design and implementation of programming languages.
format Report
fullrecord <record><control><sourceid>dtic_1RU</sourceid><recordid>TN_cdi_dtic_stinet_AD0694090</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>AD0694090</sourcerecordid><originalsourceid>FETCH-dtic_stinet_AD06940903</originalsourceid><addsrcrecordid>eNrjZNDydQzxcAUSns6OPgq-_i6uPsEK_m4Knn5u_kEgYX8_heDI4BBX32AeBta0xJziVF4ozc0g4-Ya4uyhm1KSmRxfXJKZl1oS7-hiYGZpYmBpYExAGgD0VyHk</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>report</recordtype></control><display><type>report</type><title>MATHEMATICAL MODELS OF INFORMATION SYSTEMS</title><source>DTIC Technical Reports</source><creator>Garner, Harvey L</creator><creatorcontrib>Garner, Harvey L ; MICHIGAN UNIV ANN ARBOR SYSTEMS ENGINEERING LAB</creatorcontrib><description>This report summarizes research in the development of mathematical models of information processing systems. Particular attention is given to a new approach to automata theory, the use of multiple index matrices in generalized automata theory, asymptotic decomposition of machines, recognizability of equation sets, algebraic isomorphism invariants for transition graphs, iterative network realization of sequential machines, optimum sequencing of jobs subject to deadlines, and the theory of formal languages and its impact on the design and implementation of programming languages.</description><language>eng</language><subject>AUTOMATA ; Computer Programming and Software ; DATA PROCESSING ; GROUPS(MATHEMATICS) ; MATHEMATICAL MODELS ; MATRICES(MATHEMATICS) ; PROGRAMMING LANGUAGES ; SEQUENCES(MATHEMATICS) ; SEQUENTIAL MACHINES ; TOPOLOGY</subject><creationdate>1969</creationdate><rights>Approved for public release; distribution is unlimited.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,778,883,27554,27555</link.rule.ids><linktorsrc>$$Uhttps://apps.dtic.mil/sti/citations/AD0694090$$EView_record_in_DTIC$$FView_record_in_$$GDTIC$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Garner, Harvey L</creatorcontrib><creatorcontrib>MICHIGAN UNIV ANN ARBOR SYSTEMS ENGINEERING LAB</creatorcontrib><title>MATHEMATICAL MODELS OF INFORMATION SYSTEMS</title><description>This report summarizes research in the development of mathematical models of information processing systems. Particular attention is given to a new approach to automata theory, the use of multiple index matrices in generalized automata theory, asymptotic decomposition of machines, recognizability of equation sets, algebraic isomorphism invariants for transition graphs, iterative network realization of sequential machines, optimum sequencing of jobs subject to deadlines, and the theory of formal languages and its impact on the design and implementation of programming languages.</description><subject>AUTOMATA</subject><subject>Computer Programming and Software</subject><subject>DATA PROCESSING</subject><subject>GROUPS(MATHEMATICS)</subject><subject>MATHEMATICAL MODELS</subject><subject>MATRICES(MATHEMATICS)</subject><subject>PROGRAMMING LANGUAGES</subject><subject>SEQUENCES(MATHEMATICS)</subject><subject>SEQUENTIAL MACHINES</subject><subject>TOPOLOGY</subject><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>1969</creationdate><recordtype>report</recordtype><sourceid>1RU</sourceid><recordid>eNrjZNDydQzxcAUSns6OPgq-_i6uPsEK_m4Knn5u_kEgYX8_heDI4BBX32AeBta0xJziVF4ozc0g4-Ya4uyhm1KSmRxfXJKZl1oS7-hiYGZpYmBpYExAGgD0VyHk</recordid><startdate>196909</startdate><enddate>196909</enddate><creator>Garner, Harvey L</creator><scope>1RU</scope><scope>BHM</scope></search><sort><creationdate>196909</creationdate><title>MATHEMATICAL MODELS OF INFORMATION SYSTEMS</title><author>Garner, Harvey L</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-dtic_stinet_AD06940903</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>1969</creationdate><topic>AUTOMATA</topic><topic>Computer Programming and Software</topic><topic>DATA PROCESSING</topic><topic>GROUPS(MATHEMATICS)</topic><topic>MATHEMATICAL MODELS</topic><topic>MATRICES(MATHEMATICS)</topic><topic>PROGRAMMING LANGUAGES</topic><topic>SEQUENCES(MATHEMATICS)</topic><topic>SEQUENTIAL MACHINES</topic><topic>TOPOLOGY</topic><toplevel>online_resources</toplevel><creatorcontrib>Garner, Harvey L</creatorcontrib><creatorcontrib>MICHIGAN UNIV ANN ARBOR SYSTEMS ENGINEERING LAB</creatorcontrib><collection>DTIC Technical Reports</collection><collection>DTIC STINET</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Garner, Harvey L</au><aucorp>MICHIGAN UNIV ANN ARBOR SYSTEMS ENGINEERING LAB</aucorp><format>book</format><genre>unknown</genre><ristype>RPRT</ristype><btitle>MATHEMATICAL MODELS OF INFORMATION SYSTEMS</btitle><date>1969-09</date><risdate>1969</risdate><abstract>This report summarizes research in the development of mathematical models of information processing systems. Particular attention is given to a new approach to automata theory, the use of multiple index matrices in generalized automata theory, asymptotic decomposition of machines, recognizability of equation sets, algebraic isomorphism invariants for transition graphs, iterative network realization of sequential machines, optimum sequencing of jobs subject to deadlines, and the theory of formal languages and its impact on the design and implementation of programming languages.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_dtic_stinet_AD0694090
source DTIC Technical Reports
subjects AUTOMATA
Computer Programming and Software
DATA PROCESSING
GROUPS(MATHEMATICS)
MATHEMATICAL MODELS
MATRICES(MATHEMATICS)
PROGRAMMING LANGUAGES
SEQUENCES(MATHEMATICS)
SEQUENTIAL MACHINES
TOPOLOGY
title MATHEMATICAL MODELS OF INFORMATION SYSTEMS
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T11%3A30%3A55IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-dtic_1RU&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.btitle=MATHEMATICAL%20MODELS%20OF%20INFORMATION%20SYSTEMS&rft.au=Garner,%20Harvey%20L&rft.aucorp=MICHIGAN%20UNIV%20ANN%20ARBOR%20SYSTEMS%20ENGINEERING%20LAB&rft.date=1969-09&rft_id=info:doi/&rft_dat=%3Cdtic_1RU%3EAD0694090%3C/dtic_1RU%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true