Design deterministic finite state transducers

Assignment Help Theory of Computation
Reference no: EM13704478

Design deterministic finite state transducers that implement the subsequent context sensitive rules:

Part 1: a FST that changes a in its input to b if it is preceded by cc: cca -> ccb

Part 2: a FST that encloses ab in parentheses if it is followed by c: abc -> (ab)c

Suppose that the input alphabet is {a,b,c}. So the output alphabet in part a is the same as the input, while the output in part b is {a,b,c,(,)}.

The FSTs will be infinite loops, where the set of accept states is not well-defined, but for consistency you can suppose that once the respective rule was applied, the FST enters an accept state.

For part (b) you can also assume that the input will not end in ab.

You have to satisfy the requirements specific in the instruction. I am having difficulty with this problem because I do not know where to start.

Reference no: EM13704478

Questions Cloud

Program to read the numbers and add certain digit : Write a program that will read in 5 numbers and add 10 to the first number, 20 to the second number, and 30 to the third number, 40 to the fourth and 50 to the 50th.
Calculate the final grade : write must ask the user to input the percent score for each of these items then calculate the final grade.
Implement the solution for tracking the number of subscribe : In a social media news feed, users are required to subscribe to the news feed before receiving any news or updates. Users can only subscribe to each news feed only once up to five different feeds.
What settings are used to make that decision : What allows the IP layer to determine where to send a packet next and what settings are used to make that decision?
Design deterministic finite state transducers : Design deterministic finite state transducers that implement the subsequent context sensitive rules:
How can you acquire the digital evidence from the computer : How can you acquire the digital evidence from the computer and which methods of collection would you use and why - would you use any special tools, programs, or methods?
Calculate c with various sets of values for a and b : Even if we were to declare variables a and b as integers, why might we still need to declare c as a ?double?
Will the direction and magnitude be integers or doubles : Define a Physics_vector class which consists of a struct containing the direction and magnitude, and also define a function
Subnetting and supernetting : What are the key differences between the following two terms: subnetting and supernetting? Provide examples for each - Do you expect IPv6 will replace IPv4 completely in the coming future

Reviews

Write a Review

Theory of Computation Questions & Answers

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Redundant sequence identi cation

Redundant sequence identi cation

  Compute a shortest superstring

Dynamic programming algorithm to compute a shortest superstring.

  Propositional and predicate logic

Write down a structural induction principle for the PlayTree free type

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Consider a logic function with three outputs

Consider a logic function with three outputs,  A ,  B , and  C , and three inputs,  D ,  E , and  F . The function is defined as follows:  A  is true if at least one input is true,  B  is true

  Considering a single programmed operating system

Considering a single programmed operating system, what is the minimal total time required to complete executions of the two processes? You should explain your answer with a diagram.

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  Impact of moore-s law on data center costs

Discuss the impact of Moore's law on data center costs on such things as servers and communications equipment. List at least 3 steps or recommendations your data center can take to offset some or all of the effect of Moore's law.

  Problem encountered in statements in predicate logic

How the problem would be encountered in attempting to represent the following statements in Predicate logic. it should be possible to: John only likes to see French movies.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd