The LEGO Turing Machine
Vložit
- čas přidán 27. 01. 2009
- A TV Shop themed demonstration of a Turing Machine made in LEGO Mindstorms. It was made as part of a project at computer science at Aarhus University.
A blog about the project is available at legoofdoom.blogspot.com - Věda a technologie
At least this proves the Lego Mindstorm's Turing complete...
Well it is not a full prove, but you got the idea :)
Or something is wrong, or i have seen you in another Turing machine video.
Yeah, it's beautifully timed! I want to thank everybody who have seen this video - the feedback we're gotten have been quite overwhelming! :)
This video is hilarious! The A-Team theme music ties it all together perfectly.
So was Alan Turing.
you are live
I think there is a world market for maybe five Lego Turing Machines
- Teacher, what is this automata course useful for?
- Well you'll be able to understand this video.
- Anything else?
- Emmmmm, let's continue proving why the "hello world" program is undecidable.
In theoretical computer science, a Turing machine with an infinite tape (railroad track) iis the model of a computer.
By shifting the bricks righs and left the machine writes 0 or 1 on the tape.
It can then read the tape.
Inside the machine, there are a fixed number of "states" that change according to simple instructions, in the form:
(state A & read 1---> state B move forward
state A & read 0 ---> write 1 state C and move backwards)
This is esentially how a computer works at it's heart.
Ok, now I know which of the optional courses i am taking hits spring, turing machines eyy.
Dude, that is awesome! Also love the theme music.
Amazingly done! The best part of the ad is "Alan Turing says: Cool!" I'll buy it now! Hahaha
I really like your design; very simple/elegant.
@JesseAStern We did the project over the course of half a semester, i.e. about 2 months. We used a Mindstorms 2 educational package consisting of a standard Mindstorms 2 set and another box of additional sensors etc..
Regarding blank symbols, we can use an arbitrary number of bits (LEGO blocks) to encode each cell. Using a cell-size of two bits, we can choose that the blank symbol is encoded by 00, and true is 01, false 10 and still have 11 available as additional data.
I'm impressed. and very amused. theory of computation is awesome.
THIS IS WONDERFUL OMG
this is infinitely amazing :D
-Infinite tape*
-Infinite storage*
-Unlimited computability*
*Subject to availability LMAOROTF
I agree with deckmar. Awesome project, and a very well put together video.
Amazing work - both the robot and the video :)
I really like your build!
@Krakatur25 Actually, we can use an arbitrary number of bits (LEGO blocks) to encode each cell. In the video we use a cell-size of two bits, meaning that we have 00, 01, 10 and 11 available. As such, we can choose that the empty cell is encoded by 00, and true is 01, false 10 and still have 11 available as additional data.
nice job! it's even turbine powered, as shown at 0:36! :)
most epic lego video ever
This is awesome. Like, really awesome.
Half a million hits reached in the same week as Alan Turing's birthday! Beautiful!
Damn, this is so cool on so many levels :D
ridiculously cool
Most amazing thing on the internet.
I just read in a book about Turing and now I found this 10 year old video
This is really awesome! And very nerdy - which is meant as a compliment :)
If only there was some kind of machine that facilitates a potential buyer wishing to connect with a vendor to purchase such a powerful computational device...
speachless...
lol I love how it's a turing machine... with bluetooth.
great idea, build, software, robot. also a great example of how carried away sim/emulators can get sometime...
-ECE Illinois
Props for using A-Team Theme song
Very creative! Congratulations!
5 stars just for the A-Team theme song getting stuck in my head for the next month
This is awesome
@mmtrebuchet Thank you for your comment. It's really nice to hear that people find our silly video entertaining and - as in your case - even educational :)
This is super cool! :)
So epic, I loved this! :D
@thegothmog It's also good to mention that when using TM one usually tries to solve a problem in such a way, that the TM terminates. Endless loops are bad, although they are part of the Turing theory.
very cool!
I love the intro
well done!
yeah dude ! awesome
That is SOOOO COOOOL
I like the subject to availability!
Lovely!
I will build this, this looks awsome
Bloody brilliant. :)
AWS0ME!! I just got mine in the mail!
Who knew ABABA was a palindrome.. Only 7 minutes to figure that out!
Everyone should get one of these at birth
You can still use thrice the amount of bits per cell to emulate 3track tape.
Awesome..
Greeat job!
You win the internet!
AWESOME
The song featured in the video is from the TV Show "The A-Team". One of my favorite shows ever. Then again, you must have never heard of or seen it. Too bad!
Epic!
I want to build one!
incredible!!!!!!!!!!
That proves he had an I for fashion!
@joebebus It's actually Java's rendering system. It could be Linux, Windows or OS X.
Well done - Gene
@joebus: The GUI looks like Java swing to me. The window manager could be anything really, they are so themeable it's hard to tell.
I'd buy it!
I need one.
"Turing Machine (theoretical or material) can solve a problem if and only if the modern computer can solve it. "
Seeing as a Turing machine does simple bitwise operations, there are no problems that you can devise that a Turing machine cannot solve in an eventual amount of time.
good luck man
Only because a Turing machine is an abstract notion and can have unlimited storage. An actual physical Turing machine cannot solve a problem that a modern computer can't (since it is quick easy to emulate a Turing machine on a modern computer, for example).
@ASherbuck84 You can build a turing machine for any input alphabet, and in this case that is 1 and 0. 1, 0 and none (say, B for blank?) would be another. I think!
This might be the only time I approve of the music in a CZcams video.
Respect!
Not a problem, each m-tape TM can be represented by single tape (multi track) TM :)
Epic.
Turing Machine (theoretical or material) can solve a problem if and only if the modern computer can solve it.
i think turing would be very proud :D
its from the tarran theme #1 like halfway through the song
Excellent! =D
@thegothmog If it were an infinite tape, the Lego TM would have been working on an infinite set therefore the video would have been infinite. In theory we usually look at the bigger picture and work with infinity...On paper! In practice such things are irrelevant for they are representing infinity and there is no way that you can work on something like that. That's why in the real world we deal with finite sets (even if they are HUGE, they are still finite).
@juaneco1980 Wouldn't be too hard, you just need different configurations of blocks representing states, symbols and L/R directions
Dear _God_ someone stop it before it becomes self aware!! Did no-one see the Hal-like LED at 0:31?! It knows. It's coming for us all!!!
But seriously; As someone who actually wrote Turing machine programs as a sideline while a first-year CompSci student, this is great fun.
The disturbingly perfect awesomeness of the A-Team theme is the icing on the cake.
Alan says, I wish I hadn't had that apple now
Unfortunately there's an irony here... it takes a few digital parts to make the Lego system capable of being a Turing machine. It's not like the reading system is able to distinguish blocks using only other blocks. When it can be done out of pure Lego blocks, then I'll be impressed.
Nice music choice though. :)
Nevermind, I just saw the "number of bits per cell" field.
@andnissen How long did this project take and how much did it cost? I have to talk to a lot of laymans when explaining complexity theory and this is just a fantastic way to begin conceptualizing an otherwise theoretical model. Also, did you implement the blank symbol by representing it as being a lego that is neither in the 1 or 0 state (so in the middle of the row and therefore setting of both sensors) because if so that would allow for a lot more possibilities (as otherwise its just an LBA).
cool! you made that all by youself or did you do it with a group?
How can anyone dislike this?
briliant
+1 for Team A (slightly changed) theme song
@andruluvsu
except modern computers can't solve the halting problem, so his statement still holds true
You forgot to mention that it can emulate any computer! ;D
Love it! Gimme two! :-D
Aarhus has a working Turing Machine and Bath University has a working von Neumann replicator. Who would have thought it? :-)
It's the end of the world. Time to bust into a verse of Painkiller.
cool video
I'll bring a turing machine to my next test involving math.
LEGO FTW!!!!
@RedluckyMAN @pokemonhunt97 is right... 5 is an odd number.. 1,3,5 ... I just looked it up now.
good work :)
- Infinite tape*
- Infinite storage*
- Unlimited computability*
* Subject to availability.
I rolled.
Concrete representation of some of the rudiments of a metamachine.
Is there an optional oracle ? Otherwise, I think it's better to wait for the non-deterministic model, which should be much faster !
I gave you a 5 star rating just for the editing :)
Can I get this as a USB device?