{"items":["5fda9a1fbcb38000175b79c0","5fda9a1fbcb38000175b79b7","5fda9a1fbcb38000175b79bc","5fda9a1fbcb38000175b79b9","5fda9a1fbcb38000175b79b8","5fda9a1fbcb38000175b79bf"],"styles":{"galleryType":"Columns","groupSize":1,"showArrows":true,"cubeImages":true,"cubeType":"max","cubeRatio":1.7777777777777777,"isVertical":true,"gallerySize":30,"collageAmount":0,"collageDensity":0,"groupTypes":"1","oneRow":false,"imageMargin":22,"galleryMargin":0,"scatter":0,"chooseBestGroup":true,"smartCrop":false,"hasThumbnails":false,"enableScroll":true,"isGrid":true,"isSlider":false,"isColumns":false,"isSlideshow":false,"cropOnlyFill":false,"fixedColumns":0,"enableInfiniteScroll":true,"isRTL":false,"minItemSize":50,"rotatingGroupTypes":"","rotatingCropRatios":"","columnWidths":"","gallerySliderImageRatio":1.7777777777777777,"numberOfImagesPerRow":3,"numberOfImagesPerCol":1,"groupsPerStrip":0,"borderRadius":0,"boxShadow":0,"gridStyle":0,"mobilePanorama":false,"placeGroupsLtr":false,"viewMode":"preview","thumbnailSpacings":4,"galleryThumbnailsAlignment":"bottom","isMasonry":false,"isAutoSlideshow":false,"slideshowLoop":false,"autoSlideshowInterval":4,"bottomInfoHeight":0,"titlePlacement":["SHOW_ON_THE_RIGHT","SHOW_BELOW"],"galleryTextAlign":"center","scrollSnap":false,"itemClick":"nothing","fullscreen":true,"videoPlay":"hover","scrollAnimation":"NO_EFFECT","slideAnimation":"SCROLL","scrollDirection":0,"scrollDuration":400,"overlayAnimation":"FADE_IN","arrowsPosition":0,"arrowsSize":23,"watermarkOpacity":40,"watermarkSize":40,"useWatermark":true,"watermarkDock":{"top":"auto","left":"auto","right":0,"bottom":0,"transform":"translate3d(0,0,0)"},"loadMoreAmount":"all","defaultShowInfoExpand":1,"allowLinkExpand":true,"expandInfoPosition":0,"allowFullscreenExpand":true,"fullscreenLoop":false,"galleryAlignExpand":"left","addToCartBorderWidth":1,"addToCartButtonText":"","slideshowInfoSize":200,"playButtonForAutoSlideShow":false,"allowSlideshowCounter":false,"hoveringBehaviour":"NEVER_SHOW","thumbnailSize":120,"magicLayoutSeed":1,"imageHoverAnimation":"NO_EFFECT","imagePlacementAnimation":"NO_EFFECT","calculateTextBoxWidthMode":"PERCENT","textBoxHeight":60,"textBoxWidth":200,"textBoxWidthPercent":75,"textImageSpace":10,"textBoxBorderRadius":0,"textBoxBorderWidth":0,"loadMoreButtonText":"","loadMoreButtonBorderWidth":1,"loadMoreButtonBorderRadius":0,"imageInfoType":"ATTACHED_BACKGROUND","itemBorderWidth":0,"itemBorderRadius":0,"itemEnableShadow":false,"itemShadowBlur":20,"itemShadowDirection":135,"itemShadowSize":10,"imageLoadingMode":"BLUR","expandAnimation":"NO_EFFECT","imageQuality":90,"usmToggle":false,"usm_a":0,"usm_r":0,"usm_t":0,"videoSound":false,"videoSpeed":"1","videoLoop":true,"gallerySizeType":"px","gallerySizePx":1000,"allowTitle":true,"allowContextMenu":true,"textsHorizontalPadding":-30,"itemBorderColor":{"themeName":"color_12","value":"rgba(96,94,94,0)"},"showVideoPlayButton":true,"galleryLayout":2,"calculateTextBoxHeightMode":"MANUAL","targetItemSize":1000,"selectedLayout":"2|bottom|1|max|true|0|true","layoutsVersion":2,"selectedLayoutV2":2,"isSlideshowFont":true,"externalInfoHeight":60,"externalInfoWidth":0.75},"container":{"width":171,"galleryWidth":193,"galleryHeight":0,"scrollBase":0,"height":null}}

# The Currin-Korovin DNA-based non deterministic universal Turing machine

The recent paper by Currin-Korovin et al. introduces a new physical implementation of a computer that can leverage a gigantic amount of parallelism at a fraction of the energy cost using the string rewriting model of computation and a set of clever PCR reactions. Moreover, it refers to non determinism — arguably one of the most interesting concepts in computer science — in its very title. Exciting!

**Turing machine & universality **

The paper introduces an interesting physical implementation of a universal Turing machine. Let me briefly explain what that means, in lay terms.

A Turing machine is an abstract (i.e., mathematical) device defined to capture the essential idea of computation. Having an abstract model allows us to look at the core mathematics of a concept rather than be bogged down by concrete physical details (power, clock rate, details of addressing memory, a specific algorithm or programming language, etc.). It’s the equivalent of the “spherical cow” of physics: it allows for a much cleaner asking and analysis of questions related to computation. A Turing machine comprises a set of rules that are of the form:

*If you read symbol x and machine is in state y, then machine does z;*

where z could be the act of writing a symbol, moving the cursor to a new location, or changing machine state. This set of rules — if you see a symbol in a state, what you should do — is finite and fixed, like a rule book or a medical manual. The advantage is that the machine’s behavior in any state is robot-like predictable, and therefore facilitates design and analysis. But, it restricts the machine to the one specific computational task that it was designed for: the rules for multiplication of integers are going to be different from those for counting vowels in a word.

Read Bhatia's full blog post here.