Consider the following two variable bindings in Lisp: (setq x ‘(a b c d)) (setq y ‘(4 3 2 1)) Using only the variables x and y and the functions car, cdr and cons, provide Lisp S-expressions for generating the following: (d c b a) (4 c (b 2)) ((a b c d) . 1) (((a c) (1 2)) . a) ((a 1) (b 2) (c 3) (d 4))

Q: Map and lambda problem 1: Input x = ['can', 'batť, 'cat', 'egg', 'dog'] а. b. Output y=[['c', 'a',…

A: We need to write Python code for mentioned functionality.

Q: onstruct a subprogram that solves the differential equation set dy = g(y,t)dt dt rith the…

A: SUMMARY: -   Hence, we discussed all the points. of

Q: Using Direct Proof, Show that if x an Integer then 2x^2 +6c+8 is even

A: Direct proof of p(x) => q(x) for all x belongs to D:   1) Assume p(x) is true for any arbitrary x…

Q: 1. T/F-Disjoint union assuming that variants are chosen from type S or type T = (#S)^ (#T) 2.…

A: As per the bartleby policy we can answer single question at a time, so as there are multiple…

Q: Design a class for quadratic equation using python and make a diagram showing the loose coupling and…

A: High cohesion means that logically a class contains the behavior (methods) and state (variables) to…

Q: CONSIDER A GRAMMER E → E +E E > Id TO CONSTRUCT BOTTOM OP PARSER FOR THE 1/P STRING id +id +id.

A: The Answer is

Q: Give regular expressions for the following languages. (a) L1 = {anbm, n ≥ 3, m ≤ 4} (b) L2 = {anbm :…

A: Answer:Regular expression:a. L = {an bm, n >=3, m <= 4}

Q: Define a function eqb : bool → bool → bool using Lean syntax which implements logical equivalence…

A: GIven: Define a function eqb : bool → bool → bool using Lean syntax which implements logical…

Q: For each of the below snippets, mark suitable positions for breaks for the crossover operator.…

A: ONLY THREE SUBPARTS ARE SOLVED. RESEND THE QUESTIONS ON THE PORTAL FOR THE SOLUTION.

Q: )Σ-p.g), RE = q(p+g)* %3D %3D

A: Here, we are given a regular expression over alphabet set {p, q}. And we are asked to draw a finite…

Q: Construct a subprogram that solves the differential equation set dy = g(y,t)dt %3D dt with the…

A: In This Problem : The task is to find value of unknown function y at a given point x.The Runge-Kutta…

Q: Take the polymorphic type for example: (c, h) -> (c -> h) -> (h, h) Make a list of all conceivable…

A: Answer has been explained below:-

Q: Write Prolog code for the following problems duple( N,X,Ans) returns in Ans a list containing n…

A: Input : Value of X Value of N Output : Value of Ans.

Q: 2. Give a CFG that generates the language L = {b'db° |i > 0} U{dd}. Also, demonstrate that your CFG…

A:

Q: Example: Proof using Logical Equivalence ( p → r ) ˅ ( q → r ) ≡ ( p ˄ q ) → r

A: Given:  Proof using Logical Equivalence ( p → r ) ˅ ( q → r ) ≡ ( p ˄ q ) → r

Q: Write a java program using OOP concept that takes in pair of from two list from the domain and…

A: Hey there, I am writing the required solution of the questin mentioned above. Please do find the…

Q: Convert the following grammars to Chomsky Normal Form. Show all your work. (a) S → aAb|bBc A →…

A: The CNF satisfy this production rules  A non-terminal generating a terminal (e.g.; X->x) A…

Q: 2. (a) Draw an express ion tree for the following algebraic expression related to Boolean agebra…

A: Expression Tree:- A binary tree where each internal node corresponds to the operator and the leaf…

Q: Represent the reversed web link graph in a similar way. For example, [a, b, c] means that {b, c} is…

A: Please see the code in step 2. As no language is mentioned, I've done it in Python. However, idea…

Q: Give the following definitions: Tuple

A: Tuples are a type of variable that allows you to store the several elements in a single variable.

Q: 1. Define a LISP function MIN-2 with the following properties. MIN-2 takes two arguments, A and B.…

A: (defun MIN-2 (x y) (if (< x y) x y))

Q: Using Pigeonhole Principle, Show that if y is an Odd integer, the y^2 +3y+5 is odd.

A: Pigeonhole Principle: If k is a positive integer and k + 1 objects are placed into k boxes, then at…

Q: abb and bab. Note that the substrings ca

A:

Q: Consider the grammar below written in extended eBNF (extended Backus-Naur Form) that formally…

A: Given prolog code wine(merlot):-color(red),dry. wine(x) This code is constructed using the eBNF…

Q: Select the function f that is an isomorphism from G to G b 3 5 2 G' G f(a) = 3, f(b) = 5, f(c) = 4,…

A: This question comes from Graph Theory which is a paper of Computer Science. Let's discuss it in the…

Q: he following is a grammar for JH-Lisp 2.1, modified version of the language you encountered in…

A:

Q: 1) For each of the following languages, say whether it is context-free. If so, write a CFG or draw a…

A:

Q: Use multithreading (Java) to parallelise the following: 1) Implementation of Trapezoidal Rule with…

A: Use multithreading (Java) to parallelise the following: Implementation of Trapezoidal Rule with…

Q: The following is a grammar for JH-Lisp 2.1, modified version of the language you encountered in…

A: In formal language theory, the grammatical grammar, G, is said to be in Chomsky's common sense when…

Q: Regular expression is an algebraic notation for describing sets of strings. A regular expression…

A: Regular expressions are the patterns which are used to match the character combination in the…

Q: Design finite automata form the given regular expression i) Regular expression =a (a+b)* ii) Regular…

A: Here is the solution which is mentioned below:

Q: The following is a grammar for JH-Lisp 2.1, modified version of the language you encountered in…

A:

Q: Write a regular expression that describes the languages of automata from picture 1 and picture 2…

A: We need to write the regular expression for the given automata design. The regular expression for…

Q: For each of the following languages L, state whether or not L is regular. Prove your answer. You can…

A: The statement given is:- L = {w {a, b, c}* where w should contain at least two occurrences of the…

Q: Evaluate the following lambda expressions using eager beta-reduction (use the standard…

A: Note : As per the guidelines , we are supposed to answer 1 question per post please repost the other…

Q: In prolog Write a program to find the power for any member x^y

A: The above question is solved in step 2:-

Q: Construct a deterministic PDA for the following languages on the alphabet E = (a, b) %3D L = (w, w E…

A: We have to construct PDA for the language  L = { W |  na - nb = 3 } where na and nb are numbers of a…

Q: Computer Science Give a 5-state epsilon-NFA with alphabet {a, b} recognizing the language of all…

A: NFA stands for non-deterministic finite automata.  The finite automata are called Non Deterministic…

Q: 10. Consider a language of expressions with only the variables a, b, and c and formed using the…

A: Precedence: The precedence and associativity of C operators have an effect on the grouping and…

Q: 3- Simplify the following Boolean expressions, using three-variable maps: (a) F (X, Y, Z) =XY + X'…

A: F(X,Y,Z)=XY+X'Y'Z'+X'YZ' XYZ'+XYZ+X'Y'Z'+X'YZ' F=X'Z'+YZ'+XY

Q: Provide DFA diagrams to recognizes the same languages as each of the regular expressions in a. The…

A: Step1: a. The set of chess moves, in the formal notation, such as p-k4 or kbp x qn. Solution: pieces…

Q: Formal language  Given the following regular expression (RE): 00*11*01 Convert the RE to a…

A: Given the  regular expression (RE):   00*11*01

Q: Design a class for quadratic equations using python that apply loose coupling and high cohesion.

A: Class named quadratic is created and coupling and cohesion is achieved by writing modular program.…

Q: 1. Consider the language L = {a" b$ c* | s>n and t>s}. Using the Pumping Lemma for CFLS, show L is…

A: Given language L={an bs ct | s>n and t>s} pumping Lemma for CFL: If L be a CFL and W∈L such…

Q: Given the underneath fragment code that is written in C language, Write down the function with…

A:

Q: Suppose that the domain of the propositional function P(x) consists of the integers 1, 2, 3, 4 and…

A: Given: The domain of the propositional function P (x) consists of integers 1, 2, 3, 4, 5. A…

Q: Translate the following to prolog statements b). Is 1 a member of list 2,1,2,4.

A: Answer : prolog is basically  short facts of any given statemen .

Q: (a) Exhibit a derivation of the string aaaa using the following phrase structured grammar: S → YZY Z…

A: S -> YZY   S -> YZY   S -> YBZCY    as   Z -> BZC  S -> YBBZCCY   as Z -> BZC  S…

Q: For each of the following CFGS, determine whether strings abba, aaaaa, and b are generated (show…

A: a) SYNTAX FOR GRAMMAR IS (N,T,P,S) N- non terminal T - terminal P - rules S - start symbol the…