The document discusses Turing machines and languages. It introduces the concept of a universal Turing machine, which can simulate any other Turing machine. It then discusses countable and uncountable sets, proving that the set of all Turing machines and the set of rational numbers are countable, while the power set of any infinite countable set is uncountable. This implies that the set of all possible languages is uncountable, but the set of languages accepted by Turing machines is countable. Therefore, there must exist at least one language that is not accepted by any Turing machine.
Burning paddy husk in a rice husk furnace can be a complete substitute for gas or diesel by burning paddy husk to provide necessary thermal energy. This not only increases the farmer’s income through significantly reducing drying cost and improving grain quality, it is also an important 21st century drying industry breakthrough.
Hierarchical Digital Twin of a Naval Power SystemKerry Sado
A hierarchical digital twin of a Naval DC power system has been developed and experimentally verified. Similar to other state-of-the-art digital twins, this technology creates a digital replica of the physical system executed in real-time or faster, which can modify hardware controls. However, its advantage stems from distributing computational efforts by utilizing a hierarchical structure composed of lower-level digital twin blocks and a higher-level system digital twin. Each digital twin block is associated with a physical subsystem of the hardware and communicates with a singular system digital twin, which creates a system-level response. By extracting information from each level of the hierarchy, power system controls of the hardware were reconfigured autonomously. This hierarchical digital twin development offers several advantages over other digital twins, particularly in the field of naval power systems. The hierarchical structure allows for greater computational efficiency and scalability while the ability to autonomously reconfigure hardware controls offers increased flexibility and responsiveness. The hierarchical decomposition and models utilized were well aligned with the physical twin, as indicated by the maximum deviations between the developed digital twin hierarchy and the hardware.
Final project report on grocery store management system..pdfKamal Acharya
In today’s fast-changing business environment, it’s extremely important to be able to respond to client needs in the most effective and timely manner. If your customers wish to see your business online and have instant access to your products or services.
Online Grocery Store is an e-commerce website, which retails various grocery products. This project allows viewing various products available enables registered users to purchase desired products instantly using Paytm, UPI payment processor (Instant Pay) and also can place order by using Cash on Delivery (Pay Later) option. This project provides an easy access to Administrators and Managers to view orders placed using Pay Later and Instant Pay options.
In order to develop an e-commerce website, a number of Technologies must be studied and understood. These include multi-tiered architecture, server and client-side scripting techniques, implementation technologies, programming language (such as PHP, HTML, CSS, JavaScript) and MySQL relational databases. This is a project with the objective to develop a basic website where a consumer is provided with a shopping cart website and also to know about the technologies used to develop such a website.
This document will discuss each of the underlying technologies to create and implement an e- commerce website.
Water scarcity is the lack of fresh water resources to meet the standard water demand. There are two type of water scarcity. One is physical. The other is economic water scarcity.
Student information management system project report ii.pdfKamal Acharya
Our project explains about the student management. This project mainly explains the various actions related to student details. This project shows some ease in adding, editing and deleting the student details. It also provides a less time consuming process for viewing, adding, editing and deleting the marks of the students.
Saudi Arabia stands as a titan in the global energy landscape, renowned for its abundant oil and gas resources. It's the largest exporter of petroleum and holds some of the world's most significant reserves. Let's delve into the top 10 oil and gas projects shaping Saudi Arabia's energy future in 2024.
Explore the innovative world of trenchless pipe repair with our comprehensive guide, "The Benefits and Techniques of Trenchless Pipe Repair." This document delves into the modern methods of repairing underground pipes without the need for extensive excavation, highlighting the numerous advantages and the latest techniques used in the industry.
Learn about the cost savings, reduced environmental impact, and minimal disruption associated with trenchless technology. Discover detailed explanations of popular techniques such as pipe bursting, cured-in-place pipe (CIPP) lining, and directional drilling. Understand how these methods can be applied to various types of infrastructure, from residential plumbing to large-scale municipal systems.
Ideal for homeowners, contractors, engineers, and anyone interested in modern plumbing solutions, this guide provides valuable insights into why trenchless pipe repair is becoming the preferred choice for pipe rehabilitation. Stay informed about the latest advancements and best practices in the field.
2. Costas Busch - LSU 2
Turing Machines are “hardwired”
they execute
only one program
A limitation of Turing Machines:
Real Computers are re-programmable
3. Costas Busch - LSU 3
Solution: Universal Turing Machine
• Reprogrammable machine
• Simulates any other Turing Machine
Attributes:
4. Costas Busch - LSU 4
Universal Turing Machine
simulates any Turing Machine M
Input of Universal Turing Machine:
Description of transitions of M
Input string of M
5. Costas Busch - LSU 5
Universal
Turing
Machine
M
Description of
Tape Contents of
M
State of M
Three tapes
Tape 2
Tape 3
Tape 1
6. Costas Busch - LSU 6
We describe Turing machine
as a string of symbols:
We encode as a string of symbols
M
M
Description of M
Tape 1
7. Costas Busch - LSU 7
Alphabet Encoding
Symbols: a b c d
Encoding: 1 11 111 1111
8. Costas Busch - LSU 8
State Encoding
States: 1q 2q 3q 4q
Encoding: 1 11 111 1111
Head Move Encoding
Move:
Encoding:
L R
1 11
11. Costas Busch - LSU 11
Tape 1 contents of Universal Turing Machine:
binary encoding
of the simulated machine M
1100011101111010100110110110101
Tape 1
12. Costas Busch - LSU 12
A Turing Machine is described
with a binary string of 0’s and 1’s
The set of Turing machines
forms a language:
each string of this language is
the binary encoding of a Turing Machine
Therefore:
13. Costas Busch - LSU 13
Language of Turing Machines
L = { 010100101,
00100100101111,
111010011110010101,
…… }
(Turing Machine 1)
(Turing Machine 2)
……
15. Costas Busch - LSU 15
Infinite sets are either: Countable
or
Uncountable
16. Costas Busch - LSU 16
Countable set:
There is a one to one correspondence (injection)
of
elements of the set
to
Positive integers (1,2,3,…)
Every element of the set is mapped to a positive number
such that no two elements are mapped to same number
17. Costas Busch - LSU 17
Example:
Even integers:
(positive)
,6,4,2,0
The set of even integers
is countable
Positive integers:
Correspondence:
,4,3,2,1
n2 corresponds to 1n
18. Costas Busch - LSU 18
Example:The set of rational numbers
is countable
Rational numbers: ,
8
7
,
4
3
,
2
1
27. Costas Busch - LSU 27
We proved:
the set of rational numbers is countable
by describing an enumeration procedure
(enumerator)
for the correspondence to natural numbers
28. Costas Busch - LSU 28
Definition
An enumerator for is a Turing Machine
that generates (prints on tape)
all the strings of one by one
Let be a set of strings (Language)S
S
S
and
each string is generated in finite time
29. Costas Busch - LSU 29
Enumerator
Machine for
,,, 321 sss
Ssss ,,, 321
Finite time: ,,, 321 ttt
strings
S
output
(on tape)
30. Costas Busch - LSU 30
Enumerator Machine
Configuration
Time 0
0q
Time
sq
1x 1s#1t
prints 1s
31. Costas Busch - LSU 31
Time
sq
3x 3s#3t
Time
sq
2x 2s#2t
prints 2s
prints 3s
32. Costas Busch - LSU 32
If for a set there is an enumerator,
then the set is countable
Observation:
The enumerator describes the
correspondence of to natural numbers
S
S
33. Costas Busch - LSU 33
Example: The set of strings
is countable
},,{ cbaS
We will describe an enumerator for
Approach:
S
34. Costas Busch - LSU 34
Naive enumerator:
Produce the strings in lexicographic order:
a
aa
aaa
......
Doesn’t work:
strings starting with
will never be produced
b
aaaa
1s
2s
35. Costas Busch - LSU 35
Better procedure:
1. Produce all strings of length 1
2. Produce all strings of length 2
3. Produce all strings of length 3
4. Produce all strings of length 4
Proper Order
(Canonical Order)
……
36. Costas Busch - LSU 36
Produce strings in
Proper Order:
aa
ab
ac
ba
bb
bc
ca
cb
cc
aaa
aab
aac
......
length 2
length 3
length 1
a
b
c
1s
2s
37. Costas Busch - LSU 37
Theorem: The set of all Turing Machines
is countable
Proof:
Find an enumeration procedure
for the set of Turing Machine strings
Any Turing Machine can be encoded
with a binary string of 0’s and 1’s
38. Costas Busch - LSU 38
1. Generate the next binary string
of 0’s and 1’s in proper order
2. Check if the string describes a
Turing Machine
if YES: print string on output tape
if NO: ignore string
Enumerator:
Repeat
41. Costas Busch - LSU 41
We will prove that there is a language
which is not accepted by any Turing machine
L
Technique:
Turing machines are countable
Languages are uncountable
(there are more languages than Turing Machines)
42. Costas Busch - LSU 42
Theorem:
If is an infinite countable set, then
the powerset of is uncountable.
S
2 S
S
The powerset contains all possible subsets of
Example:
S
2 S
}},{},{},{,{2},{ bababaS S
43. Costas Busch - LSU 43
Proof:
Since is countable, we can list its
elements in some order
S
},,,{ 321 sssS
Elements of S
44. Costas Busch - LSU 44
Elements of the powerset have the form:
},{ 31 ss
},,,{ 10975 ssss
……
S
2
They are subsets of S
45. Costas Busch - LSU 45
We encode each subset of
with a binary string of 0’s and 1’s
1s 2s 3s 4s
1 0 0 0}{ 1s
Subset of
Binary encoding
0 1 1 0},{ 32 ss
1 0 1 1},,{ 431 sss
S
S
46. Costas Busch - LSU 46
Every infinite binary string corresponds
to a subset of :
10 Example: 0111 0
Corresponds to:
S
ssss 2},,,,{ 6541
S
47. Costas Busch - LSU 47
Let’s assume (for contradiction)
that the powerset is countable
Then: we can list the elements of the
powerset in some order
},,,{2 321 tttS
S
2
Subsets of S
49. Costas Busch - LSU 49
1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t
Binary string: 0011
(birary complement of diagonal)
the binary string whose bits
are the complement of the diagonal
t
t
50. Costas Busch - LSU 50
0011tThe binary string
corresponds
to a subset of :
S
sst 2},,{ 43 S
51. Costas Busch - LSU 51
1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t
Question:
0011
the binary string whose bits
are the complement of the diagonal
t
?1tt NO: differ in 1st bit
t
52. Costas Busch - LSU 52
1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t
Question:
0011
the binary string whose bits
are the complement of the diagonal
t
?2tt NO: differ in 2nd bit
t
53. Costas Busch - LSU 53
1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t
Question:
0011
the binary string whose bits
are the complement of the diagonal
t
?3tt NO: differ in 3rd bit
t
54. Costas Busch - LSU 54
Thus: for every i
However,
since they differ in the th bit
Contradiction!!!
itt
i
S
ttt 2 for some i
i
S
2Therefore the powerset is uncountable
End of proof
55. Costas Busch - LSU 55
An Application: Languages
The set of all strings:
},,,,,,,,,{},{ *
aabaaabbbaabaababaS
infinite and countable
Consider Alphabet : },{ baA
because we can enumerate
the strings in proper order
56. Costas Busch - LSU 56
The set of all strings:
},,,,,,,,,{},{ *
aabaaabbbaabaababaS
infinite and countable
Any language is a subset of :
},,{ aababaaL
S
Consider Alphabet : },{ baA
57. Costas Busch - LSU 57
Consider Alphabet : },{ baA
The set of all Strings:
},,,,,,,,,{},{ **
aabaaabbbaabaababaAS
infinite and countable
The powerset of contains all languages:
}},,,{},...,,{},,{},{},{,{2 aababaabaabaaS
uncountable
S
58. Costas Busch - LSU 58
Turing machines: 1M 2M 3M
Languages accepted
By Turing Machines: 1L 2L 3L
accepts
Denote: },,,{ 321 LLLX
countable
Note:
S
X 2
countable
countable
*
},{ baS
Consider Alphabet : },{ baA
59. Costas Busch - LSU 59
X countable
S
2 uncountable
Languages accepted
by Turing machines:
All possible languages:
Therefore:
S
X 2
SS
XX 2getwe,2since
60. Costas Busch - LSU 60
There is a language not accepted
by any Turing Machine:
Conclusion:
L
S
X 2 XLL S
and2
61. Costas Busch - LSU 61
Turing-Acceptable
Languages
Non Turing-Acceptable Languages
L
62. Costas Busch - LSU 62
Note that: },,,{ 321 LLLX
is a multi-set (elements may repeat)
since a language may be accepted
by more than one Turing machine
However, if we remove the repeated elements,
the resulting set is again countable since every element
still corresponds to a positive integer