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...
Gespeichert in:
1. Verfasser: | |
---|---|
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 |