F07_FSA_en < F07_Studium

Sie sind hier: Foswiki>F07_Studium Web>F07_FSA_en (Revision 2) (Quelltext-Ansicht)
<!--
   * Set USERSTYLEURL = %PUBURLPATH%/%WEB%/DokumentFormat/fonts.css
-->
---+!! Course %FORMFIELD{"Bezeichnung"}%


%TOC{depth="3"}%
%STARTSECTION{"no_toc"}%
---
*Responsible:* Prof.Dr.Nissen

---++ Course
---+++ Meets requirements of following modules(MID)
   * in active programs
      * [[BaTIN2012_FSA]]

---+++ Course Organization
<sticky>
  <table border="0">
    <tr valign="top">
      <td>
        <table border="1" cellpadding="2" cellspacing="0">
          <th colspan="2">Version</th>
          <tr>
            <td>created</td>
            <td>2011-10-14</td>
          </tr>
          <tr>
            <td>VID</td>
            <td>1</td>
          </tr>
          <tr>
            <td>valid from</td>
            <td>WS 2012/13</td>
          </tr>
          <tr>
            <td>valid to</td>
            <td/>
          </tr>
        </table>
      </td>
      <td>         </td>
      <td>
        <table border="1" cellpadding="2" cellspacing="0">
          <th colspan="2">Course identifiers</th>
          <tr>
            <td>Long name</td>
            <td>%FORMFIELD{"Bezeichnung"}%</td>
          </tr>
          <tr>
            <td>CID</td>
            <td>F07_FSA</td>
          </tr>
          <tr>
            <td>CEID (exam identifier)</td>
            <td/>
          </tr>
        </table>
      </td>
    </tr>
  </table>
</sticky><sticky>
  <table border="0">
    <tr valign="top">
      <td>
        <table border="1" cellpadding="2" cellspacing="0">
          <th colspan="2">Contact hours per week (SWS)</th>
          <tr>
            <td>Lecture</td>
            <td>%FORMFIELD{"VorlesungSWS"}%</td>
          </tr>
          <tr>
            <td>Exercise (unsplit)</td>
            <td>%FORMFIELD{"UebungGanzSWS"}%</td>
          </tr>
          <tr>
            <td>Exercise (split)</td>
            <td>%FORMFIELD{"UebungHalbSWS"}%</td>
          </tr>
          <tr>
            <td>Lab</td>
            <td>%FORMFIELD{"PraktikumSWS"}%</td>
          </tr>
          <tr>
            <td>Project</td>
            <td>%FORMFIELD{"ProjektSWS"}%</td>
          </tr>
          <tr>
            <td>Seminar</td>
            <td>%FORMFIELD{"SeminarSWS"}%</td>
          </tr>
          <tr>
            <td>Tutorial(voluntary)</td>
            <td>%FORMFIELD{"TutoriumSWS"}%</td>
          </tr>
        </table>
      </td>
      <td>    </td>
      <td>
        <table border="1" cellpadding="2" cellspacing="0">
          <th colspan="2">Total contact hours</th>
          <tr>
            <td>Lecture</td>
            <td>%FORMFIELD{"VorlesungPZ"}%</td>
          </tr>
          <tr>
            <td>Exercise (unsplit)</td>
            <td>%FORMFIELD{"UebungGanzPZ"}%</td>
          </tr>
          <tr>
            <td>Exercise (split)</td>
            <td>%FORMFIELD{"UebungHalbPZ"}%</td>
          </tr>
          <tr>
            <td>Lab</td>
            <td>%FORMFIELD{"PraktikumPZ"}%</td>
          </tr>
          <tr>
            <td>Project</td>
            <td>%FORMFIELD{"ProjektPZ"}%</td>
          </tr>
          <tr>
            <td>Seminar</td>
            <td>%FORMFIELD{"SeminarPZ"}%</td>
          </tr>
          <tr>
            <td>Tutorial (voluntary)</td>
            <td>%FORMFIELD{"TutoriumPZ"}%</td>
          </tr>
        </table>
      </td>
      <td>    </td>
      <td>
        <table border="1" cellpadding="2" cellspacing="0">
          <th colspan="2">Max. capacity</th>
          <tr>
            <td>Exercise (unsplit)</td>
            <td>%FORMFIELD{"UebungGanzTeilnehmer"}%</td>
          </tr>
          <tr>
            <td>Exercise (split)</td>
            <td>%FORMFIELD{"UebungHalbTeilnehmer"}%</td>
          </tr>
          <tr>
            <td>Lab</td>
            <td>%FORMFIELD{"PraktikumTeilnehmer"}%</td>
          </tr>
          <tr>
            <td>Project</td>
            <td>%FORMFIELD{"ProjektTeilnehmer"}%</td>
          </tr>
          <tr>
            <td>Seminar</td>
            <td>%FORMFIELD{"SeminarTeilnehmer"}%</td>
          </tr>
        </table>
      </td>
    </tr>
  </table>
</sticky>

*Total effort (hours):* %FORMFIELD{"Gesamtaufwand"}%

---++++ Instruction language
   * German

---++++ Study Level
   * %FORMFIELD{"Niveau"}%
---++++ Prerequisites

---++++ Textbooks, Recommended Reading
   * Hopcraft, Motwani, Ulman: Introduction to Automata Theory, Languages, and Computation, Pearson

---++++ Instructors
   * Prof.Dr.Nissen



---++++ Supporting Scientific Staff
   * Dipl.-Ing. Marcel Henk

---++++ Transcipt Entry
Formal Languages and Automata Theory

---+++ Assessment
<sticky>
  <table border="1" cellpadding="2" cellspacing="0">
    <th colspan="2">Type</th>
    <tr>
      <td>wE</td>
      <td>written Exam</td>
    </tr>
  </table>
</sticky>

<sticky>
  <table border="1" cellpadding="2" cellspacing="0">
    <th colspan="2">Total effort [hours]</th>
    <tr>
      <td>wE</td>
      <td>written Exam</td>
    </tr>
  </table>
</sticky>

*Frequency:* 3/year

-----
---++ Course components

%STARTSECTION{"Vorlesung / Übung"}%
---+++ <u>Lecture/Exercise</u>

---++++ Objectives 
---+++++ Lerninhalte (Kenntnisse)
   * formal languages and Chomsky hierarchy
   * grammars
   * abstract machine models
      * finite automata
      * pushdown automata
      * turing machine
   * regular expressions
   * properties of formal languages
      * closure
      * decidability
      * Pumping Lemma

---+++++ Acquired Skills
   * specify formal languages
   * develop grammar fpr given formal language
   * develop automata for given formal language
   * develop automata for given grammar
   * transform specifications
   * formal proofs regarding formal languages, grammars and automata

---+++++ Operational Competences
   * formalize real world problems
   * develop abstract automata for real problems


---++++ Additional Component Assessment 
<sticky>
  <table border="1" cellpadding="2" cellspacing="0">
    <th colspan="2">Type</th>
    <tr>
      <td>fPS</td>
      <td>supervised problem solving</td>
    </tr>
  </table>
</sticky>

<sticky>
  <table border="1" cellpadding="2" cellspacing="0">
    <th colspan="2">Contribution to course grade</th>
    <tr>
      <td>fPS</td>
      <td>not rated</td>
    </tr>
  </table>
</sticky>

*Frequency:* 1/year

%ENDSECTION{"Vorlesung / Übung"}%




%ENDSECTION{"no_toc"}%
Topic-Revision: r2 - 11 Jan 2016, GeneratedContent
F07_Studium
Einloggen oder Registrieren
Webs
F07_Studium
System
Das Urheberrecht © liegt bei den mitwirkenden Autoren. Alle Inhalte dieser Kollaborations-Plattform sind Eigentum der Autoren.
Ideen, Anfragen oder Probleme bezüglich Foswiki? Feedback senden