Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Design algorithms in automata languages : final report

Burks, Arthur W. (Arthur Walter)
Büchi, J. Richard.
Elgot, Calvin C.
Wright, Jesse B. (Jesse Bowdle)

Publication date

January 1960

Abstract

http://deepblue.lib.umich.edu/bitstream/2027.42/3959/5/bab8002.0001.001.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/3959/4/bab8002.0001.001.tx

Extracted data

Related items

On The Feedback Complexity Of Automata.

Zeigler, Bernard Phillip

January 1968

PhDMathematicsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.li...

Algorithms as Designers

Kaitila, Hilja-Maaria

January 2017

The topic of graduation project is to create a design process that benefits from computing science b...

Rejection Algorithm

Cyril Nicaud Sylvain Schmitz

January 2009

I automata are everywhere I many automata processing algorithms I compare implementations I benchmar...

Research in automata structure, behavior, and design : final report

Büchi, J. Richard.
Elgot, Calvin C.
Holland, John Henry

January 1960

http://deepblue.lib.umich.edu/bitstream/2027.42/3931/5/bac0128.0001.001.pdfhttp://deepblue.lib.umich...

Automaton research : design, construction, complexity, adaptation : final report

January 1968

http://deepblue.lib.umich.edu/bitstream/2027.42/3332/5/bab0491.0001.001.pdfhttp://deepblue.lib.umich...

Computation, behavior, and structure in fixed and growing automata : technical report

Burks, Arthur W. (Arthur Walter)

January 1959

http://deepblue.lib.umich.edu/bitstream/2027.42/3957/5/bab7772.0001.001.pdfhttp://deepblue.lib.umich...

On the feedback complexity of automata : technical report

Zeigler, Bernard P.

January 1969

http://deepblue.lib.umich.edu/bitstream/2027.42/8498/5/bad8097.0001.001.pdfhttp://deepblue.lib.umich...

UNDERSTANDING AND AUTOMATING ALGORITHM DESIGN

Elaine Kanf

February 2008

Algorithm design is a challenging intellectual activity that provides a rich source of observation a...

Domain specific language on automata: Design and Implementation problems

Loïc Fosse

December 2014

Even if Domain Specific Languages (DSL) are not well-known, they are quite used. Indeed, these langu...

Decision problems of finite automata design and related arithmetics

Elgot, Calvin C.

January 1959

http://deepblue.lib.umich.edu/bitstream/2027.42/4758/5/bac1496.0001.001.pdfhttp://deepblue.lib.umich...

From Automated Veriﬁcation to Automated Design

Vardi, Moshe

May 2021

In this talk I will review 50 years of research on the design-synthesis problem and show how the a...

The logic of automata

Burks, Arthur W. (Arthur Walter)
Wang, Hao

January 1956

http://deepblue.lib.umich.edu/bitstream/2027.42/3967/5/bab6288.0001.001.pdfhttp://deepblue.lib.umich...

Design and Analysis of Algorithms

Jitendra Choudhary
Shripad Pramod Rane

April 2023

Design and Analysis of Algorithms is a field of computer science that focuses on the study of algori...

Notes on mathematical automata theory : technical note

Thatcher, J. W.

January 1963

http://deepblue.lib.umich.edu/bitstream/2027.42/7922/5/bad2801.0001.001.pdfhttp://deepblue.lib.umich...

Language and automata : final report (1 June 1965 - 30 September 1966

Burks, Arthur W. (Arthur Walter)

January 1966

http://deepblue.lib.umich.edu/bitstream/2027.42/3963/5/bab9694.0001.001.pdfhttp://deepblue.lib.umich...

On The Feedback Complexity Of Automata.

Zeigler, Bernard Phillip

January 1968

PhDMathematicsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.li...

Algorithms as Designers

Kaitila, Hilja-Maaria

January 2017

The topic of graduation project is to create a design process that benefits from computing science b...

Rejection Algorithm

Cyril Nicaud Sylvain Schmitz

January 2009

I automata are everywhere I many automata processing algorithms I compare implementations I benchmar...

Research in automata structure, behavior, and design : final report

Büchi, J. Richard.
Elgot, Calvin C.
Holland, John Henry

January 1960

http://deepblue.lib.umich.edu/bitstream/2027.42/3931/5/bac0128.0001.001.pdfhttp://deepblue.lib.umich...

Automaton research : design, construction, complexity, adaptation : final report

January 1968

http://deepblue.lib.umich.edu/bitstream/2027.42/3332/5/bab0491.0001.001.pdfhttp://deepblue.lib.umich...

Computation, behavior, and structure in fixed and growing automata : technical report

Burks, Arthur W. (Arthur Walter)

January 1959

http://deepblue.lib.umich.edu/bitstream/2027.42/3957/5/bab7772.0001.001.pdfhttp://deepblue.lib.umich...

On the feedback complexity of automata : technical report

Zeigler, Bernard P.

January 1969

http://deepblue.lib.umich.edu/bitstream/2027.42/8498/5/bad8097.0001.001.pdfhttp://deepblue.lib.umich...

UNDERSTANDING AND AUTOMATING ALGORITHM DESIGN

Elaine Kanf

February 2008

Algorithm design is a challenging intellectual activity that provides a rich source of observation a...

Domain specific language on automata: Design and Implementation problems

Loïc Fosse

December 2014

Even if Domain Specific Languages (DSL) are not well-known, they are quite used. Indeed, these langu...

Decision problems of finite automata design and related arithmetics

Elgot, Calvin C.

January 1959

http://deepblue.lib.umich.edu/bitstream/2027.42/4758/5/bac1496.0001.001.pdfhttp://deepblue.lib.umich...

From Automated Veriﬁcation to Automated Design

Vardi, Moshe

May 2021

In this talk I will review 50 years of research on the design-synthesis problem and show how the a...

The logic of automata

Burks, Arthur W. (Arthur Walter)
Wang, Hao

January 1956

http://deepblue.lib.umich.edu/bitstream/2027.42/3967/5/bab6288.0001.001.pdfhttp://deepblue.lib.umich...

Design and Analysis of Algorithms

Jitendra Choudhary
Shripad Pramod Rane

April 2023

Design and Analysis of Algorithms is a field of computer science that focuses on the study of algori...

Notes on mathematical automata theory : technical note

Thatcher, J. W.

January 1963

http://deepblue.lib.umich.edu/bitstream/2027.42/7922/5/bad2801.0001.001.pdfhttp://deepblue.lib.umich...

Language and automata : final report (1 June 1965 - 30 September 1966

Burks, Arthur W. (Arthur Walter)

January 1966

http://deepblue.lib.umich.edu/bitstream/2027.42/3963/5/bab9694.0001.001.pdfhttp://deepblue.lib.umich...

On The Feedback Complexity Of Automata.

Zeigler, Bernard Phillip

January 1968

PhDMathematicsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.li...

Algorithms as Designers

Kaitila, Hilja-Maaria

January 2017

The topic of graduation project is to create a design process that benefits from computing science b...

Rejection Algorithm

Cyril Nicaud Sylvain Schmitz

January 2009

I automata are everywhere I many automata processing algorithms I compare implementations I benchmar...