A Formalization of the Turing Test Evgeny Chutchev
|
|
- Rosalind Fields
- 1 years ago
- Views:
Transcription
1 A Formalization of the Turing Test Evgeny Chutchev 1. Introduction The Turing test was described by A. Turing in his paper [4] as follows: An interrogator questions both Turing machine and second participant of the test (a person), each of which tries to appear human. The interrogator does not know from whom exactly he receives answers and has the objective to tell the Turing machine from the person (for more details, see, for example, [3]). In this paper, we consider a formalization of the Turing test and obtain the following results (Figure 1.1): Second participant does not follow an algorithm Every Turing machine fails a certain test from this area (Theorem 3.2) Second participant follows some algorithm Every Turing machine that answers any questions and is limited in response time or memory fails certain tests from this area (Theorems 4.2 and 4.3) Every Turing machine that answers any questions fails a certain test from this area (Theorem 4.1) For every test in the shaded area, an appropriate Turing machine passes the test (Theorems 3.1 and 5.1) Interrogator follows some algorithm Figure 1.1. Summary of results Interrogator does not follow an algorithm The rest of the paper is organized as follows: Section 2 gives definitions and introduces notations. Section 3 considers tests with arbitrary Turing machines. Section 4 considers tests with Turing machines of some special classes. Section 5 considers the strict Turing test. Section 6 presents the conclusion. Section 7 contains a list of definitions and notations. Section 8 contains references. Section 9 is an appendix, where we consider a random answers model for the second participant of the test that does not follow an algorithm. 2. General definitions and notations 2.1. Words and numbers 1. Suppose A is a finite alphabet and symbol θ does not belong to A. By A denote all words over A, including the empty word λ. By λ n denote the sequence of n empty words λ. 2. Denote by N the set of all natural numbers (excluding zero), and put N 0 N {0}. We will not make any distinction between the elements of N 0 and their notations over the alphabet A, assuming N 0 = A \*λ+. 3. Fix some letter a A, and for each word ω A denote by ω the word aω.
2 4. Put B A {} Turing machines 1. We assume that: Turing machine (TM) starts on the work tape that contains a finite string of symbols, which may be blank. TM has several final states; some of them may be marked with Left or Right. Along with conventional work head, TM has three additional heads and three tapes each of which has a leftmost cell but is infinite to the right. We name these additional heads as the oracle interface, the input and the output of TM, considering that the oracle interface and the input can only read out symbols from B, and the output can only print symbols from B, while θ stands for the blank symbol. The tape of the oracle interface is blank (we shall use it for oracle TM; see Item below), and both input and output tapes are replaced with new tapes when TM starts up or when TM is transferred to the initial state. 2. Denote by M the set of all TMs that we have described. We shall not distinguish between TMs and their descriptions (in the form of the words over A) suitable for realization on the universal TM. 3. Let us consider the functioning of TM as an exchange of questions and answers. A question is sent to TM only when it is in the initial state or in the final state (in the latter case, TM is moved to the initial state, but the content of the work tape does not change). The question is a word over B recorded at the beginning of the new input tape. After installation of the input tape, TM starts up, and if TM halts, the maximum length word over A, placed at the beginning of the output tape, is the answer to the question (thus the answer may be equal to λ). 4. We say that: TM M answers the questions 1,, n if M calculates those answers in a finite number of cycles. In the specified case denote by M 1,, n the answer of M to the last 2 question n ; denote the reverse case by the formal equation M 1,, n = 1. TM M recognizes TM N if M answers the question N. TM M is communicable if M answers any sequence of questions, each of which belongs to A. TM M is autonomous if the answers of M do not depend on the content of the questions. TM M is the generator if M is simultaneously communicable and autonomous. Denote by C the set of all communicable TMs. For generator H and n N put H,n- H 1,, n, where 1,, n are some questions. 5. Assign to each TM M the generator M that operates under the following principle: For each n N, put M,n-, if M(n ) =, M( n ) in another case. 6. We call TM E the enumerator if n N (E(n) M). 7. For every enumerator E, put E*N+ {E(n): n = 1,, N}. Fix the enumerator A that enumerates all TMs: A* + = M. Put A k A(k). 8. Assign to every enumerator E that enumerates some communicable TMs (E* + C) the generator E that is constructed by analogy with Cantor's diagonal method: E,n- E(n)( n ). 1 Assuming A.
3 2.3. Oracles 1. Denote by oracle the content of the oracle interface tape, the cells on which contain symbols from B. 2. Denote by Π the oracle that contains the lexicographic ordered notations MN for all TMs M and N such that M recognizes N. 3. Denote by Θ the blank oracle Oracle Turing machines 1. We shall understand the construction from Item 2.2.1, where the oracle interface tape may be non-blank, as oracle Turing machine (OTM). Denote OTM by M Φ, where M is TM and Φ is oracle (thus M Θ = M). 2. Extending the concepts from Items and to OTMs, we call OTMs U and V as N-similar if for every n N and for any questions β = 1,, n the equality U() = V() holds. Two OTMs U and V, which are N-similar for every N N, we call similar and denote this by U V. 3. We say that OTM Q reduces to TM M if Q M. Denote the type of OTM by notation M if OTM reduces to some TM and in another case use the notation M Testers 1. Any pair I, Q, where I and Q are OTMs, we call the tester. For the specified tester we call I the interrogator, and Q the second participant (SP). 2. Denote the tester type by notation (type of interrogator, type of SP). 3. We say that interrogator is dumb if its answer to any consequence of questions is Tests 1. Consider tester T = I, Q and TM M and define the following procedure as the left (the right) test: At the beginning of the test, the question enters the interrogator I input. Each answer of interrogator serves as the question for both Q and M (we call such a question the test question). The question α Q α M (or the question α M α Q for the right test), where α Q and α M are the answers of Q and M to the last test question, enters I input. We interpret this as receiving the first test answer from the left subject of the test, and receiving the second test answer from the right one. Whenever I has reached the final state marked with Left ( Right ), the test is finished and the result of the test is SP is on the left ( SP is on the right ). Denote by,t, M, l- (by,t, M, r-) the left (the right) test described above and denote by,t, M, - any of these tests. 2. We say that: 3 TM M fails the left test, I, Q, M, l- (the right test, I, Q, M, r-) if either M does not answer some test question that SP Q has answered or if this test is finished with the correct result. TM fails the test,t, M- if it fails both the left test,t, M, l- and the right test,t, M, r- 2. The statement that TM M fails the test,t, M- we denote in short by M T; the converse statement we denote by M T. 3. We say that tester T is successful for a given set L M if M L (M T). 4. Assign to each SP Q M the dumb interrogator I Q M who completes the test I Φ Q, Q, M, for any oracle Φ only in the case when the test answers from Q and M are different, and in this case I Φ Q calculates α = Q( n ), where n is a number of the current test step, and indicates the location of SP as the source of reply α. Note that I Φ Q performs operations that do not depend on Φ. Put T Φ Q I Φ Q, Q and T Φ T Φ Q : Q M Comments 1. The handling of every question by certain TM with the input head and the output head can be described as the functioning of an arbitrary TM with only one head and with initial content of the 2 See also the strict test in Section 5.
4 work tape equal to the question (see [2]). Then note that in accordance with 42 [1], there is an elementary arithmetic formula f(x, y) with free occurrence of variables x and y, which is true for x M and y M if and only if x and y are on the tape Π. 2. We consider SP as the tester constituent and explain this as follows. The original description of the test offered by A. Turing assumes the loyalty of SP to interrogator. Now if interrogator gives in his zero numbered test question the instructions on how SP should operate (for example, instructions in the form Mf for OTM M Π ), then SP, due to his loyalty, will fulfill these instructions. The instructions to simulate the OTM equipped with computable oracle are executable by a human. The problem of simulation of OTM equipped with non-computable oracle is beyond the scope of this paper. 3. Tests with arbitrary Turing machines We shall consider tests under various conditions of reducibility of interrogator and SP to TM (Theorems 3.1 and 3.2) and prove at first the following lemma. LEMMA For each enumerator E that enumerates some communicable TMs 3 and for each oracle Φ, the tester T E Φ is successful for E* Tester T Φ E will finish the test τ = T Φ E, E(n), not later than at the nth step. PROOF. The interrogator I Φ E is mute, and due to inequality E,n- E(n) (λ n ), this interrogator successfully completes the test τ not later than at the nth step. THEOREM For each tester with SP that reduces to TM, the specified TM can pass the test; hence, any such tester is not successful for M For each tester T of the type ( M, M), some generator H can pass the test,t, H-. 3. The problem of constructing the generator H that can pass the test, I, Q, H-, where I and Q are arbitrary TMs, is algorithmically unsolvable. PROOF. The proof of Item 1 of the theorem arises from the definition of TM s ability to pass the test. To prove Item 2 of the theorem consider H = M, where TM M is defined as follows: If J and Q are TMs, to which interrogator and SP are reduced, then M is an autonomous TM that simulates, I, Q, Q, - and gives the answers that are the same as those of Q in this test. In order to prove Item 3 of the theorem assume that there exists TM B such that generator H = B(IθQ) can pass the test, I, Q, H-. Then consider the following enumerator E that enumerates generators: E(n) B I An θa n. According to the definition of E, we Θ have n N E(n) T An and thus T T Θ n (E(n) T). But Item 1 of Lemma 3.1 implies that T T Θ n (E(n) T). for M. 4 THEOREM 3.2. Some tester of the type ( M, M) with dumb interrogator is successful PROOF 5. Let us describe the desired tester T = I, Q, where Q is equipped with oracle Π: SP Q, after receiving the nth test question, acts as follows: Q calculates A n and queries its oracle Π whether A n recognizes itself. If the oracle answers in the affirmative, Q simulates the work of A n with question A n, calculates the number t of cycles that is necessary for A n to compute A n (A n ), and gives the answer t. 3 Note that if there is an enumerator E that enumerates all communicable TMs, then E* + would include all generators, and then any generator would be similar to some element in R* +, where R(n) E(n), but R R* +. 4 Thus, for the successfulness of such tester either SP should not reduce to TM (see Theorem 3.2) or SP, which reduces to TM, should not belong to the class of TMs that are subjects of the test (see Section 4). 5 The idea of the proof is based on Subsection 3 of Section 6 of [4].
5 If the oracle answers negative, Q gives the answer 0. Interrogator I, after receiving the answers to the nth test question, follows the next procedure: 5 If the answers are equal, I continues the test. Otherwise, I treats each nonzero answer as a notation of some natural number t, calculates A n and verifies, whether A n will answer the question A n for t cycles; at negative result of verification I finishes the test, locating SP as the source of another answer. If some TM N passes the test,t, N-, then the problem of recognition of TMs not recognizing themselves is solvable by N, but it is well known that this is impossible (see, for example, 42 [1]). To complete the proof, note that reducibility of Q to TM contradicts Item 1 of Theorem Testing for special classes of Turing machines In this section, we consider the tests for all communicable TMs, and the tests for communicable TMs with time or memory limitation (we can suppose that these TMs are close-to-reality models of computer programs) Testing for communicable Turing machines THEOREM Any tester of the type ( M, M) is not successful for C. 2. Some tester of the type ( M, M) is successful for C. 3. Some tester of the type ( M, M) is successful for C. PROOF. Items 1 and 2 of the theorem follow from Item 2 of Theorem 3.1 and from Theorem 3.2, respectively. To prove Item 3 of the theorem we shall describe the desired interrogator I, which is equipped with oracle Π, and SP Q M. During the test I makes use of parameter r N 0, supposing r = 0 at the beginning of the test. At the nth step of the test (n N) interrogator, by means of oracle Π, finds the minimal k n > r, at which: If n = 1, then A kn recognizes itself. If n > 1, then A kn answers the questions µ 1, µ 2,, µ n 1, A kn, where µ 1, µ 2,, µ n 1 are the previous test questions (each of which belongs to M). Thereafter I assigns the value k n to r and puts the nth test question µ n A kn 6. SP Q gives the answer µ n (µ 1, µ 2,, µ n ) to the nth test question. For the first time when I received two different answers, I calculates the answer of Q and completes the test, locating Q as the source of its answer. Now consider the test, I, Q, C- for arbitrary C C. The proof of the theorem follows from C = A kn for some n, while the reducibility of I to TM contradicts Item 1 of this theorem, which is already proved Testing for Turing machines limited in time We say that communicable TM C is limited in time if there is an upper bound for number of cycles required to calculate each following answer of C. THEOREM 4.2. Some tester of the type ( M, M) with dumb interrogator is successful for all communicable limited in time TMs. PROOF. For each TM M and each t N denote by M t TM M that operates under the control of special supervisor TM. The supervisor observes how M processes with questions, and at the first time when M has not provide an answer for t work cycles, supervisor shuts down M and gives as the answer of M t to the current and all subsequent questions. 6 Note that the interrogator's questions do not depend on the receiving answers. 7 Note that Item 1 of Theorem 3.1 implies that Q C, and this is also clear from the principle of how Q works: If Q C, then Q(µ 1, µ 2,, µ n ) = Q(µ 1, µ 2,, µ n ) for some n.
6 Now construct an enumerator E that enumerates M t for all M M and all t N. For each C C that is limited in time, an arbitrary TM in E* + is similar to C, whereby the theorem statement follows from Item 1 of Lemma Testing for Turing machines limited in memory Consider a class of communicable TMs limited in memory, namely, TMs with a uniform upper bound for the number of states and a uniform upper bound for the length of the work tape segment that TM may scan in the processing of empty questions. THEOREM 4.3. Some tester of the type ( M, M) with dumb interrogator is successful for all communicable limited in memory TMs. 6 PROOF. We need the following definitions: Denote by L the set of all TMs that satisfy the specified limitation for the number of states and for the length of the initial content of the work tape. Denote by K the set of all TMs from L C that satisfy the specified limitation for the length of the work tape segment that TM makes use of in the processing of empty questions. Now calculate such N that L A*N+ and put L N *M L: M(λ N ) + (note that K L N ). Observing the work of M L that calculates M N, it is possible to reject those M for which: The length of the work tape segment that M makes use of indicates that M K. At the processing of current question, the configuration of M (i.e. the combination (state of M, position and content of the work tape)) was repeated, whence it follows that M L N. Thus we can reject all TMs from L\L N and some TMs from L N \K. Then it is possible to construct an enumerator R, based on A, on the definition of L, and on the described above rejection, such that K R*N+ L N. Finally, it is possible to construct the following enumerator E that enumerates generators: If n N, then E(n),k- R(n) λk if k N, λ if k > N; and if n > N, then k N (E(n),k- λ). For each C K there is an arbitrary TM in E*N+ that is N-similar to C, whereby the theorem statement follows from Item 2 of Lemma The strict Turing Test 5.1. Definition of the strict Turing Test TM that is the subject of the test has some advantages: If this TM does not answer the test question simultaneously with SP, it passes the test (see Item 2.6.2). The choice of this condition is rather arbitrary and that allows us to consider the strict Turing test: TM fails the left (the right) strict test if either TM does not answer some test question (regardless whether SP has answered this question) or this test is finished with the correct result. TM fails the strict test if it fails both the left and the right strict test. We introduce for the strict tests notations T, M, l, T, M, r, T, M,, T, M, M T, and M T by analogy with the notations,t, M, l-,,t, M, r-,,t, M, -,,T, M-, M T, and M T for the ordinary tests. It is clear that if M T, then M T. Therefore, the statements of Lemma 3.1, Theorems 3.2, 4.2, 4.3, and Items 2 and 3 of Theorem 4.1 are extended to the case of the strict test. A different situation arises with the statement of Theorem 3.1 (and its corollary, Item 1 of Theorem 4.1): If SP of the tester T reduces to TM Q, then Q may fail the strict test T, Q (take for example TM Q that 8 Note that Item 1 of Theorem 3.1 implies that SP of the described tester is not limited in time, and this is also clear from the principle of how this SP works. 9 Note that from Item 1 of Theorem 3.1 it follows that SP of the described tester does not belong to K, and this is also clear from the principle of how this SP works.
7 does not answer any question). However, the modified Theorem 3.1, given in following subsection, is valid for the strict test Successfulness of the testers for the strict Turing test THEOREM For each tester, which SP is reducible to TM, an arbitrary TM can pass the strict test with this tester For each tester T of the type ( M, M) some generator H can pass the strict test T, H For each tester T of the type ( M, M) some communicable TM C can pass the strict test T, C For a given oracle Φ and for any TMs I and Q, the problem of constructing the TM M that can pass the strict test I Φ, Q, M is algorithmically unsolvable 13. PROOF OF ITEMS 1, 2, AND 3 OF THEOREM 5.1. For an arbitrary tester T, denote by Q the TM to which SP of this tester is reduced, and consider the strict test τ = T, Q,. If Q answers all test questions, then the proof of Items 1 and 2 of the theorem coincides with the proof of Items 1 and 2 of Theorem 3.1. Assume now that Q does not answer the nth test question in the test τ, where n N. Then Q fails the test τ, but generator H, which first n 1 answers are equal to those of Q in the test and the following answers are equal to, will pass the test T, H,. That completes the proof of Items 1 and 2 of Theorem 5.1. Finally, generator is a communicable TM and hence Item 3 of Theorem 5.1 is the corollary of Item 2 of Theorem Lemmas To prove Item 4 of Theorem 5.1 let us: Fix the oracle Φ from the hypothesis of this item. Assume the existence of TM F that was specified in Item 4 of the theorem: F(IQ) I Φ, Q. Prove the following lemmas. LEMMA 5.1. For each SP Q and each TM M, the following values are equal for T Q Φ, M, l and T Q Φ, M, r : 1. The numbers of tests' steps. 2. The numbers (maybe infinite) and contents of answers of Q. 3. The numbers (maybe infinite) and contents of answers of M. PROOF. By definition of interrogator I Φ Q, it treats the answers of the subjects of the test symmetrically, and that proves Item 1 of the lemma. Items 2 and 3 of the lemma follow from Item 1 of this lemma and from the dumbness of I Φ Q. Taking Lemma 5.1 into account for the strict tests with a tester that has a form of T Φ Q, we shall discuss the number of the steps in the test and the answers of the subjects of the test without specifying the orientation of the test (the left one or the right one). To formulate and prove Lemmas 5.2, 5.3, 5.4, and 5.5 we need the following definitions and notations. Denote by the number of words in the sequence of words over A; we say that sequences of words and satisfy the relation if any of the following cases holds: 0 = < μ. < μ and is the beginning of. = μ = and = An analogue of Item 1 of Theorem An analogue of Item 2 of Theorem An analogue of Item 1 of Theorem That accentuates the difference between the strict and the ordinary tests: See Item 1 of Theorem 3.1.
8 8 Fix some SP Q and put Q 0 Q, Q n+1 F I Qn Q n, I n I Φ Qn, T n T Φ Qn, where n N 0. For n > 0 and the strict test T n 1, Q n : Denote by (n) the sequence of answers of SP Q n 1 in this test. Denote by (n) = γ 1 (n), γ2 (n), the sequence of answers of TM Qn that is the subject of this test. LEMMA 5.2. n N (n) (n). PROOF. For n > 0, Q n T n 1. Thus, owing to the specificity of how interrogator I n operates, only the two following cases are possible: 1. The number of test steps is infinite, and moreover, (n) = (n). 2. SP Q n 1 has not answered to the jth (j 1) test question that has been answered by TM Q n. Thus γ (n) = (n) + 1 and this implies that for j = 1, the equation (n) = 0 is satisfied, (n). and for j > 1, (n) = γ 1 (n), γ2 (n),, γj 1 LEMMA 5.3. n N (n) (n+1). PROOF. Consider the tests T n 1, Q n, and T n, Q n+1,. The interrogators I n 1 and I n are dump, and Q n+1 T n. Thus (n) = (n+1) or (n) (n+1), due to the definition of I n. Then the proof follows from Lemma 5.2. LEMMA 5.4. n N ( γ (n) n). PROOF. Lemma 5.2 implies that γ (1) > 0, and for n > 1 the statement of the lemma follows from Lemma 5.3. LEMMA 5.5. For each n N and for every k, where 0 < k γ (n), the word γ (n) k is calculated algorithmically. PROOF. Owing to definition of I M, this TM can be algorithmically constructed from TM M. Then, due to definition of Q n, every I Qn and thus every Q n can be algorithmically constructed from TM Q. Finally, γ k (n) = Qn λ k Proof of Item 4 of Theorem 5.1 (n) To prove Item 4 of Theorem 5.1 assign to each Q M the following generator H Q : H Q,n- γ n (H Q is well defined due to Lemmas 5.4 and 5.5). Now, if is the sequence of all answers of H Q, then according to Lemmas 5.3 and 5.4, (1), hence Q 1 T Φ Q H Q T Φ Q H Q T Φ Q. Now construct the following enumerator E that enumerates generators: E(n) H An. We Φ have n N E(n) T An and thus T T Φ n (E(n) T). However, according to Item 1 of Lemma 3.1, T T Φ n (E(n) T). This contradiction proves that F does not exist. 6. Conclusion The summary of results is given in Figure 1.1 (see Section 1). Note that some results can be extended to the case when each participant of the test can be an oracle Turing machine. 7. Definitions and notations In tables given below, the global definitions and notations (terms) are shown with specifying the number of the subsection, where the corresponding definition or notation was denoted Definitions and notations Sets Symbols, words, and related concepts Special TMs Testers, interrogators, tests A, A * θ M I, Q B λ A k T Q Φ 2.6.4
9 N, N λ n E*N+ (E* +) T n 5.3 M ω A I Q C (n) 5.3 E I n 5.3 T Φ (n), γ k (n) Q n 5.3,T, M, l-,,t, M, r-,,t, M, Relations 5.3 F 5.3,T, M T, M, l, T, M, r, Oracles, OTM Formula T, M,, T, M 5.1, Π f Answers of (O)TM to questions, Θ V(), V() = 2.2.4, 2.4.2, 5.1 M Φ H,n Terms answer of (O)TM 2.2.3, left (right) test reducible to TM answers to the questions, that, (O)TM 2.2.4, limited in memory, TM 4.3 similar OTMs autonomous TM limited in time, TM 4.2 SP communicable TM N-similar OTMs strict test 5.1 dumb interrogator oracle successful tester enumerator oracle interface of (O)TM 2.2.1, test question fails the test, that, TM OTM tester generator output of (O)TM 2.2.1, TM input of (O)TM 2.2.1, question to (O)TM 2.2.3, type of OTM interrogator recognition of TM type of tester References [1] Kleene S.C. (1967), Mathematical Logic, John Wiley and Sons, New York London Sydney.,2- Papadimitriou, Christos H. (1994), Computational Complexity, Addison-Wesley. [3] Saygin, A.P., Cicekli, I. and Akman, V. (2000), Turing Test: 50 Years Later, Minds and Machines 10, pp [4] Turing, A. (1950), Computing Machinery and Intelligence, Mind 59(236), pp Appendix. Probabilistic test Consider some variation of Theorem 3.2: Let SP be equipped with the oracle that creates physically, namely, can be replaced with a random number generator. There are at least two symbols in the alphabet B: and λ, and in order to use the notations that are conventional to binary random number generators we replace these symbols with 0 and 1. Then consider the following OTM Z = Z Ξ : Oracle Ξ is filled up with symbols 0 and 1 randomly and independently; where 0 appears with the probability p 0 and 1 appears with the probability p 1 (hence Ξ is randomly chosen from the set of all oracles). TM Z satisfies the following condition: If Ξ = ξ 1 ξ 2, then Z( n ) ξ n. THEOREM 9.1. For some dumb interrogator I of the type M, which depends on m N, if p = max(p 0, p 1 ) < 1, then C C.P*C I, Z + 1 pm 1 p /. PROOF. Without loss of generality, we equate each nonzero answer of any TM to 1. Now fix m N and construct the dumb interrogator I by the following algorithm. Interrogator I consists of supervisor S and two assistants: The left assistant L and the right assistant R. The left (the right) assistant processes the answers of the left (the right) subject of the test and transmits the results of the processing to S.
10 After the nth answer has been received, an assistant carries out the following instructions: 1. Save the answer in memory and put = For k = 1,, n, start up A k ( n ) for n cycles of calculation. 3. If A k has provided not less than m + k 1 answers, and these answers are equal to the received answers, put = Report the value of to S. Supervisor S treats the messages δ L and δ R of L and R according to the following table. δ R = δ L = Continue the test Complete the test with result SP is on the left 1 Complete the test with result SP is on the right If some communicable TM C has passed the test, then symbol 1 appears in the sequence of messages from the assistant that processes the answers of Z, and then for some k the first m + k 1 m +k 1 answers of Z are equal to the answers of A k. As a result, P{C I, Z } p. 10 k=1
Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras
Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture No. # 31 Recursive Sets, Recursively Innumerable Sets, Encoding
The Halting Problem is Undecidable
185 Corollary G = { M, w w L(M) } is not Turing-recognizable. Proof. = ERR, where ERR is the easy to decide language: ERR = { x { 0, 1 }* x does not have a prefix that is a valid code for a Turing machine
CS 3719 (Theory of Computation and Algorithms) Lecture 4
CS 3719 (Theory of Computation and Algorithms) Lecture 4 Antonina Kolokolova January 18, 2012 1 Undecidable languages 1.1 Church-Turing thesis Let s recap how it all started. In 1990, Hilbert stated a
Computability Theory
CSC 438F/2404F Notes (S. Cook and T. Pitassi) Fall, 2014 Computability Theory This section is partly inspired by the material in A Course in Mathematical Logic by Bell and Machover, Chap 6, sections 1-10.
Lecture 2: Universality
CS 710: Complexity Theory 1/21/2010 Lecture 2: Universality Instructor: Dieter van Melkebeek Scribe: Tyson Williams In this lecture, we introduce the notion of a universal machine, develop efficient universal
Structural properties of oracle classes
Structural properties of oracle classes Stanislav Živný Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK Abstract Denote by C the class of oracles relative
NP-Completeness and Cook s Theorem
NP-Completeness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:
Elementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
CSE 135: Introduction to Theory of Computation Decidability and Recognizability
CSE 135: Introduction to Theory of Computation Decidability and Recognizability Sungjin Im University of California, Merced 04-28, 30-2014 High-Level Descriptions of Computation Instead of giving a Turing
We give a basic overview of the mathematical background required for this course.
1 Background We give a basic overview of the mathematical background required for this course. 1.1 Set Theory We introduce some concepts from naive set theory (as opposed to axiomatic set theory). The
Notes on Complexity Theory Last updated: August, 2011. Lecture 1
Notes on Complexity Theory Last updated: August, 2011 Jonathan Katz Lecture 1 1 Turing Machines I assume that most students have encountered Turing machines before. (Students who have not may want to look
Properties of Stabilizing Computations
Theory and Applications of Mathematics & Computer Science 5 (1) (2015) 71 93 Properties of Stabilizing Computations Mark Burgin a a University of California, Los Angeles 405 Hilgard Ave. Los Angeles, CA
Turing Machines, Part I
Turing Machines, Part I Languages The $64,000 Question What is a language? What is a class of languages? Computer Science Theory 2 1 Now our picture looks like Context Free Languages Deterministic Context
(IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems.
3130CIT: Theory of Computation Turing machines and undecidability (IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems. An undecidable problem
An example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
24 Uses of Turing Machines
Formal Language and Automata Theory: CS2004 24 Uses of Turing Machines 24 Introduction We have previously covered the application of Turing Machine as a recognizer and decider In this lecture we will discuss
Turing Machines: An Introduction
CIT 596 Theory of Computation 1 We have seen several abstract models of computing devices: Deterministic Finite Automata, Nondeterministic Finite Automata, Nondeterministic Finite Automata with ɛ-transitions,
THE SEARCH FOR NATURAL DEFINABILITY IN THE TURING DEGREES
THE SEARCH FOR NATURAL DEFINABILITY IN THE TURING DEGREES ANDREW E.M. LEWIS 1. Introduction This will be a course on the Turing degrees. We shall assume very little background knowledge: familiarity with
Lecture 1: Time Complexity
Computational Complexity Theory, Fall 2010 August 25 Lecture 1: Time Complexity Lecturer: Peter Bro Miltersen Scribe: Søren Valentin Haagerup 1 Introduction to the course The field of Computational Complexity
MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.
MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on
Turing Machine and the Conceptual Problems of Computational Theory
Research Inventy: International Journal of Engineering And Science Vol.4, Issue 4 (April 204), PP 53-60 Issn (e): 2278-472, Issn (p):239-6483, www.researchinventy.com Turing Machine and the Conceptual
Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.
Section 2.5 Cardinality (another) Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted A = B, if and only if there is a bijection from A to B. If there is an injection
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Simulation-Based Security with Inexhaustible Interactive Turing Machines Ralf Küsters Institut für Informatik Christian-Albrechts-Universität zu Kiel 24098 Kiel, Germany kuesters@ti.informatik.uni-kiel.de
DETERMINANTS. b 2. x 2
DETERMINANTS 1 Systems of two equations in two unknowns A system of two equations in two unknowns has the form a 11 x 1 + a 12 x 2 = b 1 a 21 x 1 + a 22 x 2 = b 2 This can be written more concisely in
4. MATRICES Matrices
4. MATRICES 170 4. Matrices 4.1. Definitions. Definition 4.1.1. A matrix is a rectangular array of numbers. A matrix with m rows and n columns is said to have dimension m n and may be represented as follows:
Reading 13 : Finite State Automata and Regular Expressions
CS/Math 24: Introduction to Discrete Mathematics Fall 25 Reading 3 : Finite State Automata and Regular Expressions Instructors: Beck Hasti, Gautam Prakriya In this reading we study a mathematical model
Formal Languages and Automata Theory - Regular Expressions and Finite Automata -
Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March
Introduction to Turing Machines
Automata Theory, Languages and Computation - Mírian Halfeld-Ferrari p. 1/2 Introduction to Turing Machines SITE : http://www.sir.blois.univ-tours.fr/ mirian/ Automata Theory, Languages and Computation
2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.
2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then
Computational Models Lecture 8, Spring 2009
Slides modified by Benny Chor, based on original slides by Maurice Herlihy, Brown Univ. p. 1 Computational Models Lecture 8, Spring 2009 Encoding of TMs Universal Turing Machines The Halting/Acceptance
3515ICT Theory of Computation Turing Machines
Griffith University 3515ICT Theory of Computation Turing Machines (Based loosely on slides by Harald Søndergaard of The University of Melbourne) 9-0 Overview Turing machines: a general model of computation
Chapter 7 Uncomputability
Chapter 7 Uncomputability 190 7.1 Introduction Undecidability of concrete problems. First undecidable problem obtained by diagonalisation. Other undecidable problems obtained by means of the reduction
Recursion Theory in Set Theory
Contemporary Mathematics Recursion Theory in Set Theory Theodore A. Slaman 1. Introduction Our goal is to convince the reader that recursion theoretic knowledge and experience can be successfully applied
Diagonalization. Ahto Buldas. Lecture 3 of Complexity Theory October 8, 2009. Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach.
Diagonalization Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach. Ahto Buldas Ahto.Buldas@ut.ee Background One basic goal in complexity theory is to separate interesting complexity
Regular Languages and Finite Automata
Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a
Introduction to Automata Theory. Reading: Chapter 1
Introduction to Automata Theory Reading: Chapter 1 1 What is Automata Theory? Study of abstract computing devices, or machines Automaton = an abstract computing device Note: A device need not even be a
Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
Degrees that are not degrees of categoricity
Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara
Continued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
Proofs are short works of prose and need to be written in complete sentences, with mathematical symbols used where appropriate.
Advice for homework: Proofs are short works of prose and need to be written in complete sentences, with mathematical symbols used where appropriate. Even if a problem is a simple exercise that doesn t
MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
Pushdown Automata. place the input head on the leftmost input symbol. while symbol read = b and pile contains discs advance head remove disc from pile
Pushdown Automata In the last section we found that restricting the computational power of computing devices produced solvable decision problems for the class of sets accepted by finite automata. But along
POWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
Theory of Computation Chapter 2: Turing Machines
Theory of Computation Chapter 2: Turing Machines Guan-Shieng Huang Feb. 24, 2003 Feb. 19, 2006 0-0 Turing Machine δ K 0111000a 01bb 1 Definition of TMs A Turing Machine is a quadruple M = (K, Σ, δ, s),
Automata and Computability. Solutions to Exercises
Automata and Computability Solutions to Exercises Fall 25 Alexis Maciel Department of Computer Science Clarkson University Copyright c 25 Alexis Maciel ii Contents Preface vii Introduction 2 Finite Automata
Mathematical Induction. Lecture 10-11
Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach
AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract
AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION T. M. Atanackovic 1 and B. Stankovic 2 Dedicated to Professor Ivan H. Dimovski on the occasion of his 7th birthday Abstract An expansion
Properties of sequences Since a sequence is a special kind of function it has analogous properties to functions:
Sequences and Series A sequence is a special kind of function whose domain is N - the set of natural numbers. The range of a sequence is the collection of terms that make up the sequence. Just as the word
TOPIC 4: DERIVATIVES
TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the
MATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
arxiv: v1 [math.ho] 7 Apr 2016
ON EXISTENCE OF A TRIANGLE WITH PRESCRIBED BISECTOR LENGTHS S. F. OSINKIN arxiv:1604.03794v1 [math.ho] 7 Apr 2016 Abstract. We suggest a geometric visualization of the process of constructing a triangle
Cartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
WRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm
MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following
Finite Automata and Formal Languages
Finite Automata and Formal Languages TMV026/DIT321 LP4 2011 Lecture 14 May 19th 2011 Overview of today s lecture: Turing Machines Push-down Automata Overview of the Course Undecidable and Intractable Problems
1 Definition of a Turing machine
Introduction to Algorithms Notes on Turing Machines CS 4820, Spring 2012 April 2-16, 2012 1 Definition of a Turing machine Turing machines are an abstract model of computation. They provide a precise,
1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
MATH 289 PROBLEM SET 4: NUMBER THEORY
MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides
I. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
Section 3 Sequences and Limits, Continued.
Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular
Direct Algorithms for Checking Coherence and Making Inferences from Conditional Probability Assessments
Direct Algorithms for Checking Coherence and Making Inferences from Conditional Probability Assessments Peter Walley, Renato Pelessoni a and Paolo Vicig a a Dipartimento di Matematica Applicata B. de Finetti,
P (A) = lim P (A) = N(A)/N,
1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or non-deterministic experiments. Suppose an experiment can be repeated any number of times, so that we
6.4 The Infinitely Many Alleles Model
6.4. THE INFINITELY MANY ALLELES MODEL 93 NE µ [F (X N 1 ) F (µ)] = + 1 i
Theory of Computation Lecture Notes
Theory of Computation Lecture Notes Abhijat Vichare August 2005 Contents 1 Introduction 2 What is Computation? 3 The λ Calculus 3.1 Conversions: 3.2 The calculus in use 3.3 Few Important Theorems 3.4 Worked
Information Theory and Coding Prof. S. N. Merchant Department of Electrical Engineering Indian Institute of Technology, Bombay
Information Theory and Coding Prof. S. N. Merchant Department of Electrical Engineering Indian Institute of Technology, Bombay Lecture - 17 Shannon-Fano-Elias Coding and Introduction to Arithmetic Coding
C H A P T E R Regular Expressions regular expression
7 CHAPTER Regular Expressions Most programmers and other power-users of computer systems have used tools that match text patterns. You may have used a Web search engine with a pattern like travel cancun
Solving Systems of Linear Equations
LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how
Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER
THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER JASPER DEANTONIO Abstract. This paper is a study of the Turing Degrees, which are levels of incomputability naturally arising from sets of natural numbers.
CHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
On the greatest and least prime factors of n! + 1, II
Publ. Math. Debrecen Manuscript May 7, 004 On the greatest and least prime factors of n! + 1, II By C.L. Stewart In memory of Béla Brindza Abstract. Let ε be a positive real number. We prove that 145 1
A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES
A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES THEODORE A. SLAMAN AND ANDREA SORBI Abstract. We show that no nontrivial principal ideal of the enumeration degrees is linearly ordered: In fact, below
CONTENTS 1. Peter Kahn. Spring 2007
CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................
(x + a) n = x n + a Z n [x]. Proof. If n is prime then the map
22. A quick primality test Prime numbers are one of the most basic objects in mathematics and one of the most basic questions is to decide which numbers are prime (a clearly related problem is to find
x if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
On the Structure of Turing Universe: The Non-Linear Ordering of Turing Degrees
On the Structure of Turing Universe: The Non-Linear Ordering of Turing Degrees Yazan Boshmaf November 22, 2010 Abstract Turing Universe: the final frontier. These are the voyages of five mathematicians.
A BASIS THEOREM FOR Π 0 1 CLASSES OF POSITIVE MEASURE AND JUMP INVERSION FOR RANDOM REALS ROD DOWNEY AND JOSEPH S. MILLER
A BASIS THEOREM FOR Π 0 1 CLASSES OF POSITIVE MEASURE AND JUMP INVERSION FOR RANDOM REALS ROD DOWNEY AND JOSEPH S. MILLER Abstract. We extend the Shoenfield jump inversion theorem to the members of any
E3: PROBABILITY AND STATISTICS lecture notes
E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................
GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY
GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in
1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form
1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and
Mathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
ECS 120 Lesson 17 Church s Thesis, The Universal Turing Machine
ECS 120 Lesson 17 Church s Thesis, The Universal Turing Machine Oliver Kreylos Monday, May 7th, 2001 In the last lecture, we looked at the computation of Turing Machines, and also at some variants of Turing
Vector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
26 Integers: Multiplication, Division, and Order
26 Integers: Multiplication, Division, and Order Integer multiplication and division are extensions of whole number multiplication and division. In multiplying and dividing integers, the one new issue
LINEAR SYSTEMS. Consider the following example of a linear system:
LINEAR SYSTEMS Consider the following example of a linear system: Its unique solution is x +2x 2 +3x 3 = 5 x + x 3 = 3 3x + x 2 +3x 3 = 3 x =, x 2 =0, x 3 = 2 In general we want to solve n equations in
Super Turing-Machines
1 This preprint differs from the published version. Do not quote or photocopy. Super Turing-Machines B. Jack Copeland 2 1. Universal Turing Machines A universal Turing machine is an idealised computing
The Relation between Two Present Value Formulae
James Ciecka, Gary Skoog, and Gerald Martin. 009. The Relation between Two Present Value Formulae. Journal of Legal Economics 15(): pp. 61-74. The Relation between Two Present Value Formulae James E. Ciecka,
TOPIC 3: CONTINUITY OF FUNCTIONS
TOPIC 3: CONTINUITY OF FUNCTIONS. Absolute value We work in the field of real numbers, R. For the study of the properties of functions we need the concept of absolute value of a number. Definition.. Let
Lecture 13 - Basic Number Theory.
Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted
Tiers, Preference Similarity, and the Limits on Stable Partners
Tiers, Preference Similarity, and the Limits on Stable Partners KANDORI, Michihiro, KOJIMA, Fuhito, and YASUDA, Yosuke February 7, 2010 Preliminary and incomplete. Do not circulate. Abstract We consider
Theory of Computation
Theory of Computation For Computer Science & Information Technology By www.thegateacademy.com Syllabus Syllabus for Theory of Computation Regular Expressions and Finite Automata, Context-Free Grammar s
CS154. Turing Machines. Turing Machine. Turing Machines versus DFAs FINITE STATE CONTROL AI N P U T INFINITE TAPE. read write move.
CS54 Turing Machines Turing Machine q 0 AI N P U T IN TAPE read write move read write move Language = {0} q This Turing machine recognizes the language {0} Turing Machines versus DFAs TM can both write
GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
Automata and Formal Languages
Automata and Formal Languages Winter 2009-2010 Yacov Hel-Or 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,
The Classes P and NP
The Classes P and NP We now shift gears slightly and restrict our attention to the examination of two families of problems which are very important to computer scientists. These families constitute the
NUMBER SYSTEMS. William Stallings
NUMBER SYSTEMS William Stallings The Decimal System... The Binary System...3 Converting between Binary and Decimal...3 Integers...4 Fractions...5 Hexadecimal Notation...6 This document available at WilliamStallings.com/StudentSupport.html
Linear Programming Notes V Problem Transformations
Linear Programming Notes V Problem Transformations 1 Introduction Any linear programming problem can be rewritten in either of two standard forms. In the first form, the objective is to maximize, the material
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete
Automata and Rational Numbers
Automata and Rational Numbers Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca http://www.cs.uwaterloo.ca/~shallit 1/40 Representations