Übersetzung für "Automatentheorie" in Englisch
Er
schrieb
auch
ein
Buch
über
Automatentheorie.
Eilenberg
also
wrote
an
important
book
on
automata
theory.
Wikipedia v1.0
Die
Automatentheorie
führte
zur
Automatisierung,
ohne
die
unsere
Wirtschaft
heute
nicht
mehr
denkbar
wäre.
The
theory
of
automatic
machines
led
to
automation,
without
which
our
present
economy
would
be
entirely
unthinkable.
ParaCrawl v7.1
Dieser
Text
wurde
Automatentheorie,
Sprachen
und
Maschinen
der
beschrieben
wurde
von
einem
Gutachter
als:
This
text
was
Automata,
languages,
and
machines
which
was
described
by
a
reviewer
as:
ParaCrawl v7.1
Ein
Automat
oder
eine
abstrakte
Maschine
ist
in
der
Informatik,
speziell
in
der
Automatentheorie,
das
Modell
eines
digitalen,
zeitdiskreten
Rechners.
An
abstract
machine,
also
called
an
abstract
computer,
is
a
theoretical
model
of
a
computer
hardware
or
software
system
used
in
automata
theory.
Wikipedia v1.0
Mit
Hilfe
des
Booleschen
Differentialkalküls
können
unterschiedliche
Ansätze
der
ereignisdiskreten
Systemtheorie,
wie
die
Automatentheorie,
die
Petri-Netz-Theorie
und
die
Supervisory
Control
Theory
(en)
in
einer
einheitlichen
und
geschlossenen
Form
behandelt
und
deren
spezifische
Vorteile
vereinigt
werden.
The
Boolean
differential
calculus
allows
various
aspects
of
dynamical
systems
theory
like
automata
theory
on
finite
automata
Petri
net
theory
supervisory
control
theory
(SCT)
to
be
discussed
in
a
united
and
closed
form
and
their
specific
advantages
to
be
combined.
WikiMatrix v1
Er
befasst
sich
mit
mathematischer
Logik,
Automatentheorie,
Berechenbarkeit
und
Komplexitätstheorie,
verteilten
Systemen,
Variationsrechnung.
His
interests
are
in
mathematical
logic,
the
theory
of
automata,
computability
and
complexity
theory,
the
calculus
of
variations,
and
distributed
systems.
WikiMatrix v1
Die
Lernumgebung
AtoCC
unterstützt
den
Lernenden
in
der
theoretischen
Informatik
(Automatentheorie,
formale
Sprachen)
und
deren
Anwendung
im
Compilerbau.
The
learning
environment
AtoCC
can
be
of
use
in
teaching
abstract
automata,
formal
languages,
and
some
of
its
applications
in
compiler
construction.
ParaCrawl v7.1
Diese
bei
kontinuierlichen
Systemen
und
in
der
Automatentheorie
so
bewährte
Beschreibungsform
wurde
auf
die
Welt
diskreter
Flussmodelle
übertragen
und
gewährleistet
leicht
verständliche
und
sicher
funktionierende
Modelle.
This
kind
of
description
is
highly
approved
for
continuous
systems
as
well
as
in
automata
theory.
It
was
transferred
into
the
world
of
discrete
flow
models
and
guarantees
easily
understandable
and
safe
running
models.
ParaCrawl v7.1
Dies
war
nicht
alle
gründete
er
in
Szeged,
für
die
er
auch
so
einstellen,
die
Cybernetic
Labor-und
der
Forschungsgruppe
für
Mathematische
Logik
und
Automatentheorie.
This
was
not
all
he
founded
at
Szeged,
for
he
also
set
up
the
Cybernetic
Laboratory
and
the
Research
Group
for
Mathematical
Logic
and
Automata
Theory.
ParaCrawl v7.1
Obwohl
Lev
Arkad'evich
hatte
nie
betrachtete
sich
als
ein
Experte
in
der
mathematischen
Linguistik,
Automatentheorie
und
Anwendungen
von
Computern
in
Algebra,
seine
mathematischen
Interessen
waren
breit
gefächert
und
er
zögerte
nicht
zu
tun
Forschung
in
diesen
Bereichen
außerhalb
seiner
wichtigsten
Stärken.
Though
Lev
Arkad'evich
had
never
considered
himself
to
be
an
expert
in
mathematical
linguistics,
automata
theory,
and
applications
of
computers
in
algebra,
his
mathematical
interests
were
broad
and
he
did
not
hesitate
to
do
research
in
these
areas
outside
of
his
main
strengths.
ParaCrawl v7.1
Typischerweise
umfasst
dies
zuvor
belegte
Kurse
in
folgenden
Bereichen:
Differenzial-
und
Integralrechnung,
lineare
Algebra,
diskrete
Mathematik
und
Logik,
Numerik,
Wahrscheinlichkeitstheorie,
Grundlagen
Computerprogrammierung,
Computerarchitektur,
Datenstrukturen,
Analyse
von
Algorithmen,
Programmiersprachen,
Automatentheorie,
Berechenbarkeit
und
Komplexitätstheorie.
Typically
this
would
include
previously
taken
courses
in
the
following
areas:
Calculus,
Linear
Algebra,
Discrete
Mathematics
and
Logic,
Numerics,
Probability
Theory,
Fundamentals
of
Computer
Programming,
Computer
Architecture,
Data
Structures,
Analysis
of
Algorithms,
Programming
Languages,
Automata
Theory,
Computability
and
Complexity
Theory.
ParaCrawl v7.1
Für
jeden,
der
die
Systemtheorie
und/oder
Automatentheorie
und/oder
Systeme
von
Differenzialgleichungen
in
Ansätzen
kennt,
ist
es
leicht
verständlich,
wenn
nicht
sogar
naheliegend.
For
everyone
who
has
some
notion
of
system
theory
and/or
automata
theory
and/or
system
of
differential
equations
it
will
be
easy
to
understand,
if
not
even
obvious.
ParaCrawl v7.1
Umfang
des
Wissens
in
der
Informatik,
das
Datenstrukturen
und
-algorithmen,
Programmiersprachen,
Datenbankverwaltungssysteme,
Betriebssysteme,
Analyse
von
Algorithmen
und
Automatentheorie
sowie
Formalsprachen
umfasst.
Breadth
of
knowledge
in
computer
science
encompassing
data
structures
and
algorithms,
programming
languages,
database
management
systems,
operating
systems,
analysis
of
algorithms
and
automata
theory
and
formal
languages.18.
ParaCrawl v7.1
Hier
konnten
in
den
letzten
Jahren
mittels
Techniken
der
Informatik
(z.B.
Datenkompression,
Ersetzungssysteme,
Automatentheorie)
große
Fortschritte
erzielt
werden.
In
recent
years,
considerable
process
has
been
made
in
this
direction
by
using
techniques
from
computer
science
(e.g.
data
compression,
rewriting
systems,
automata
theory).
ParaCrawl v7.1
Rota
weist
darauf
hin,
dass
Kombinatorik
stellt
die
wesentliche
Verbindung
zwischen
Fortsetzung
der
Mathematik
und
den
Naturwissenschaften:
Biologie
(Struktur
der
großen
Moleküle),
Linguistik
(kontext-freien
Sprachen,
Automatentheorie),
Physik
(statistische
Mechanik,
Phasenübergang
Probleme,
Elementarteilchen).
Rota
observes
that
combinatorics
is
providing
the
essential
continuing
link
between
mathematics
and
the
sciences:
biology
(structure
of
large
molecules),
linguistics
(context-free
languages,
automata
theory),
physics
(statistical
mechanics,
phase
transition
problems,
elementary
particles).
ParaCrawl v7.1
Während
die
Informationstheorie
das
präzise
Maß
für
den
Informationsgehalt
und
als
seine
Einheit
das
"Bit"
festlegte,
wurden
mit
Hilfe
der
Automatentheorie
die
ersten
Computer
gebaut.
While
information
theory
determined
the
precise
measure
for
the
content
of
information
and
defined
the
„bit“
as
its
unit,
the
first
computers
werde
built
by
using
the
theory
of
automatic
machines.
ParaCrawl v7.1
Mit
einer
Mischung
aus
reinen
und
angewandten
Mathematik
sowie
anderen
Wissenschaften,
Automatentheorie
war
ein
ideales
Feld
für
von
Neumann's
breit
angelegte
Intellekt.
Involving
a
mixture
of
pure
and
applied
mathematics
as
well
as
other
sciences,
automata
theory
was
an
ideal
field
for
von
Neumann's
wide-ranging
intellect.
ParaCrawl v7.1
Diese
Untersuchungen
verwenden
insbesondere
Methoden
der
Logik
und
der
Automatentheorie
und
gehören
daher
zum
umfassenderen
Gebiet
der
Logik
in
der
Informatik.
Our
studies
particularly
utilize
methods
from
logic
and
automata
theory
and
therefore
belong
to
the
wider
field
of
logic
in
computer
science.
ParaCrawl v7.1
Bei
Informatik-Tendenz
stehen
meist
die
Methoden
im
Vordergrund:
symbolische
Mehoden
wie
Parsing,
Automatentheorie
oder
Grammatikformalismen,
oder
statistische
Methoden
im
Zusammenhang
mit
maschinellem
Lernen.
Given
a
specialization
in
computer
science,
the
focus
is
on
formal
methods
such
as
parsing,
automata
theory,
grammar
formalisms,
or
statistical
methods
in
the
context
of
machine
learning.
ParaCrawl v7.1