The Theory of Formal Languages

FromData Skeptic

Start listening View podcast show

The Theory of Formal Languages

FromData Skeptic

ratings:

Length:

24 minutes

Released:

Apr 6, 2018

Format:

Podcast episode

Description

In this episode, Kyle and Linhda discuss the theory of formal languages. Any language can (theoretically) be a formal language. The requirement is that the language can be rigorously described as a set of strings which are considered part of the language. Those strings are any combination of alphabet characters in the given language. Read more

Released:

Apr 6, 2018

Format:

Podcast episode

Titles in the series (100)

Data Skeptic is a data science podcast exploring machine learning, statistics, artificial intelligence, and other data topics through short tutorials and interviews with domain experts.

Skip carousel

[MINI] type i / type ii errors: In this first mini-episode of the Data Skeptic Podcast, we define and discuss type i and type ii errors (a.k.a. false positives and false negatives). by Data Skeptic
11 min listen
Advertising Attribution with Nathan Janos: A conversation with Convertro's Nathan Janos about methodologies used to help advertisers understand the affect each of their marketing efforts (print, SEM, display, skywriting, etc.) contributes to their overall return. by Data Skeptic
76 min listen
Introduction: The Data Skeptic Podcast features conversations with topics related to data science, statistics, machine learning, artificial intelligence and the like, all from the perspective of applying critical thinking and the scientific method to evaluate the... by Data Skeptic
4 min listen
[MINI] Decision Tree Learning: Linhda and Kyle talk about Decision Tree Learning in this miniepisode. Decision Tree Learning is the algorithmic process of trying to generate an optimal decision tree to properly classify or forecast some future unlabeled element based by... by Data Skeptic
13 min listen
Streetlight Outage and Crime Rate Analysis with Zach Seeskin: This episode features a discussion with statistics PhD student Zach Seeskin about a project he was involved in as part of the Eric and Wendy Schmidt Data Science for Social Good Summer Fellowship. The project involved exploring the... by Data Skeptic
33 min listen
The Right (big data) Tool for the Job with Jay Shankar: In this week's episode, we discuss applied solutions to big data problem with big data engineer Jay Shankar. The episode explores approaches and design philosophy to solving real world big data business problems, and the exploration of the wide... by Data Skeptic
50 min listen
[MINI] Is the Internet Secure?: This episode explores the basis of why we can trust encryption. Suprisingly, a discussion of looking up a word in the dictionary (binary search) and efficiently going wine tasting (the travelling salesman problem) help introduce computational... by Data Skeptic
26 min listen
Jackson Pollock Authentication Analysis with Kate Jones-Smith: Our guest this week is Hamilton physics professor Kate Jones-Smith who joins us to discuss the evidence for the claim that drip paintings of Jackson Pollock contain fractal patterns. This hypothesis originates in a paper by Taylor, Micolich,... by Data Skeptic
50 min listen
$Jackson Pollock Authentication Analysis with Kate Jones-Smith: Our guest this week is Hamilton physics professor Kate Jones-Smith who joins us to discuss the evidence for the claim that drip paintings of Jackson Pollock contain fractal patterns. This hypothesis originates in a paper by Taylor, Micolich,...$
[MINI] Bayesian Updating: In this minisode, we discuss Bayesian Updating - the process by which one can calculate the most likely hypothesis might be true given one's older / prior belief and all new evidence. by Data Skeptic
11 min listen
[MINI] Cross Validation: This miniepisode discusses the technique called Cross Validation - a process by which one randomly divides up a dataset into numerous small partitions. Next, (typically) one is held out, and the rest are used to train some model. The hold out set can... by Data Skeptic
1 min listen
[MINI] p-values: In this mini, we discuss p-values and their use in hypothesis testing, in the context of an hypothetical experiment on plant flowering, and end with a reference to the Particle Fever documentary and how statistical significance played a role. by Data Skeptic
17 min listen
Data Science at ZestFinance with Marick Sinay: Marick Sinay from ZestFianance is our guest this weel. This episode explores how data science techniques are applied in the financial world, specifically in assessing credit worthiness. by Data Skeptic
31 min listen
Personalized Medicine with Niki Athanasiadou: In the second full length episode of the podcast, we discuss the current state of personalized medicine and the advancements in genetics that have made it possible. by Data Skeptic
57 min listen
Data Myths with Karl Mamer: Black out baby boom | Subliminal messages | Beer and Diapers by Data Skeptic
48 min listen
[MINI] Noise!!: Our topic for this week is "noise" as in signal vs. noise. This is not a signal processing discussions, but rather a brief introduction to how the work noise is used to describe how much information in a dataset is useless (as opposed to... by Data Skeptic
16 min listen
Data in Healthcare IT with Shahid Shah: Our guest this week is Shahid Shah. Shahid is CEO at Netspective, and writes three blogs: Health Care Guy, Shahid Shah, and HitSphere - the Healthcare IT Supersite. During the program, Kyle recommended a talk from the 2014 MIT Sloan CIO Symposium... by Data Skeptic
57 min listen
[MINI] Selection Bias: A discussion about conducting US presidential election polls helps frame a converation about selection bias. by Data Skeptic
15 min listen
Practicing and Communicating Data Science with Jeff Stanton: Jeff Stanton joins me in this episode to discuss his book An Introduction to Data Science, and some of the unique challenges and issues faced by someone doing applied data science. A challenge to any data scientist is making sure they have a... by Data Skeptic
37 min listen
Contest Announcement: The Data Skeptic Podcast is launching a contest- not one of chance, but one of skill. Listeners are encouraged to put their data science skills to good use, or if all else fails, guess! The contest works as follows. Below is some data about the... by Data Skeptic
12 min listen
Guerilla Skepticism on Wikipedia with Susan Gerbic: Our guest this week is Susan Gerbic. Susan is a skeptical activist involved in many activities, the one we focus on most in this episode is Guerrilla Skepticism on Wikipedia, an organization working to improve the content and citations of... by Data Skeptic
70 min listen
[MINI] Experimental Design: This episode loosely explores the topic of Experimental Design including hypothesis testing, the importance of statistical tests, and an everyday and business example. by Data Skeptic
16 min listen
[MINI] Monkeys on Typewriters: What is randomness? How can we determine if some results are randomly generated or not? Why are random numbers important to us in our everyday life? These topics and more are discussed in this mini-episode on random numbers. Many readers will be... by Data Skeptic
3 min listen
[MINI] Ant Colony Optimization: In this week's mini episode, Linhda and Kyle discuss Ant Colony Optimization - a numerical / stochastic optimization technique which models its search after the process ants employ in using random walks to find a goal (food) and then leaving a... by Data Skeptic
15 min listen
Data Fest 2015: This episode contains converage of the 2015 Data Fest hosted at UCLA. Data Fest is an analysis competition that gives teams of students 48 hours to explore a new dataset and present novel findings. This year, data from Edmunds.com... by Data Skeptic
27 min listen
[MINI] Value of Information: A discussion about getting ready in the morning, negotiating a used car purchase, and selecting the best AirBnB place to stay at help frame a conversation about the decision theoretic principal known as the Value of Information equation. by Data Skeptic
14 min listen
[MINI] The Girlfriend Equation: Economist Peter Backus put forward "The Girlfriend Equation" while working on his PhD - a probabilistic model attempting to estimate the likelihood of him finding a girlfriend. In this mini episode we explore the soundness of his model and also share... by Data Skeptic
16 min listen
The Secret and the Global Consciousness Project with Alex Boklin: I'm joined this week by Alex Boklin to explore the topic of magical thinking especially in the context of Rhonda Byrne's "The Secret", and the similarities it bears to The Global Consciousness Project (GCP). The GCP puts forward the hypothesis that... by Data Skeptic
42 min listen
[MINI] Partially Observable State Spaces: When dealing with dynamic systems that are potentially undergoing constant change, its helpful to describe what "state" they are in. In many applications the manner in which the state changes from one to another is not completely predictable,... by Data Skeptic
13 min listen
Economic Modeling and Prediction, Charitable Giving, and a Follow Up with Peter Backus: Economist Peter Backus joins me in this episode to discuss a few interesting topics. You may recall Linhda and I previously discussed his paper "The Girlfriend Equation" on a recent mini-episode. We start by touching base on this fun paper and get a... by Data Skeptic
24 min listen
[MINI] The Battle of the Sexes: Love and Data is the continued theme in this mini-episode as we discuss the game theory example of The Battle of the Sexes. In this textbook example, a couple must strategize about how to spend their Friday night. One partner prefers football games... by Data Skeptic
18 min listen

More Episodes from Data Skeptic

Skip carousel

HMMs for Behavior: Théo Michelot has made a career out of tackling tough ecological questions using time-series data. How do scientists turn a series of GPS location observations over time into useful behavioral data? GPS tech has improved to the point that modern data... by Data Skeptic
45 min listen
Bioinspired Engineering: Brian Taylor shares his research on magnetoreception. Animals like birds and sea turtles use magnetoreception to use the Earth’s magnetic field for navigation, but it’s not a sense that’s well understood. Brian uses animal magnetoreception to... by Data Skeptic
38 min listen
Modelling Evolution: Modeling evolutionary processes goes way beyond the Hardy-Weinberg Equilibrium we all learned in biology class. Natural selection comes from many sources like resources availability, mate preferences, competition. Modeling entire populations of... by Data Skeptic
41 min listen
Behavioral Genetics: It’s almost impossible to think about animal behavior without thinking of dogs! Our canine friends are a subspecies of wolf that has been co-evolving with us for tens of thousands of years. The transition from wolf to pet has required intense... by Data Skeptic
47 min listen
Signal in the Noise: In this episode, we are joined by Barbara Webb and Anna Hadjitofi. Barbara runs the Insect Robotics lab at the University of Edinburgh, and Anna is a PhD student at the School of Informatics at the university. She is interested in studying and... by Data Skeptic
42 min listen
Pose Tracking: Many researchers and students have painstakingly labeled precise details about the body positions of the creatures they study. Can AI be used for this labeling? Of course it can! Today's episode discusses Social LEAP Estimates Animal Poses (SLEAP), a... by Data Skeptic
51 min listen
Modeling Group Behavior: Our guest in this episode is Sebastien Motsch, an assistant professor at Arizona State University, working in the School of Mathematical and Statistical Science. He works on modeling self-organized biological systems to understand how complex patterns... by Data Skeptic
41 min listen
Advances in Data Loggers: Our guest in this episode is Ryan Hanscom. Ryan is a Ph.D. candidate in a joint doctoral evolution program at San Diego State University and the University of California, Riverside. He is a terrestrial ecologist with a focus on herpetology and... by Data Skeptic
36 min listen
What You Know About Intelligence is Wrong (fixed): We are joined by Hank Schlinger, a professor of psychology at California State University, Los Angeles. His research revolves around theoretical issues in psychology and behavioral analysis. Hank establishes that words have references and... by Data Skeptic
42 min listen
Animal Decision Making: On today’s episode, we are joined by Aimee Dunlap. Aimee is an assistant professor at the University of Missouri–St. Louis and the interim director at the Whitney R. Harris World Ecology Center. Aimee discussed how animals perceive information and... by Data Skeptic
37 min listen
Octopus Cognition: We are joined by Tamar Gutnick, a visiting professor at the University of Naples Federico II, Napoli, Italy. She studies the octopus nervous system and their behavior, focusing on cognition and learning behaviors. Tamar gave a background to the kind... by Data Skeptic
38 min listen
Optimal Foraging: Claire Hemmingway, an assistant professor in the Department of Psychology and Ecology and Evolutionary Biology at the University of Tennessee in Knoxville, is our guest today. Her research is on decision-making in animal cognition, focusing on... by Data Skeptic
38 min listen
Memory in Chess: On today’s show, we are joined by our co-host, Becky Hansis-O’Neil. Becky is a Ph.D. student at the University of Missouri, St Louis, where she studies bumblebees and tarantulas to understand their learning and cognitive work. She joins us... by Data Skeptic
49 min listen
OpenWorm: On this episode, we are joined by Stephen Larson, the CEO of MetaCell and an affiliate of the OpenWorm foundation. Stephen discussed what the Openworm project is about. They hope to use a digital C. elegans nematode (C. elegans for... by Data Skeptic
34 min listen
What the Antlion Knows: Our guest is Becky Hansis-O’Neil, a Ph.D. student at the University of Missouri, St Louis, and our co-host for the new "Animal Intelligence" season. Becky shares her background on how she got into the field of behavioral intelligence and biology. by Data Skeptic
42 min listen
AI Roundtable: Kyle is joined by friends and former guests Pramit Choudhary and Frank Bell to have an open discussion of the impacts LLMs and machine learning have had in the past year on industry, and where things may go in the current year. by Data Skeptic
51 min listen
Uncontrollable AI Risks: We are joined by Darren McKee, a Policy Advisor and the host of Reality Check — a critical thinking podcast. Darren gave a background about himself and how he got into the AI space. Darren shared his thoughts on AGI's achievements in the coming... by Data Skeptic
39 min listen
I LLM and You Can Too: It took a massive financial investment for the first large language models (LLMs) to be created. Did their corporate backers lock these tools away for all but the richest? No. They provided comodity priced API options for using... by Data Skeptic
24 min listen
Q&A with Kyle: We celebrate episode 1000000000 with some Q&A from host Kyle Polich. We boil this episode down to four key questions: 1) How do you find guests 2) What is Data Skeptic all about? 3) What is Kyle all about? 4) What are Kyle's thoughts on AGI?... by Data Skeptic
40 min listen
LLMs for Data Analysis: In this episode, we are joined by Amir Netz, a Technical Fellow at Microsoft and the CTO of Microsoft Fabric. He discusses how companies can use Microsoft's latest tools for business intelligence. Amir started by discussing how business intelligence... by Data Skeptic
29 min listen
AI Platforms: Our guest today is Eric Boyd, the Corporate Vice President of AI at Microsoft. Eric joins us to share how organizations can leverage AI for faster development. Eric shared the benefits of using natural language to build products. He discussed the... by Data Skeptic
34 min listen
Deploying LLMs: We are excited to be joined by Aaron Reich and Priyanka Shah. Aaron is the CTO at Avanade, while Priyanka leads their AI/IoT offering for the SEA Region. Priyanka is also the MVP for Microsoft AI. They join us to discuss how LLMs are deployed in... by Data Skeptic
35 min listen
A Survey Assessing Github Copilot: In this episode, we are joined by Jenny Liang, a PhD student at Carnegie Mellon University, where she studies the usability of code generation tools. She discusses her recent survey on the usability of AI programming assistants. Jenny discussed the... by Data Skeptic
26 min listen
Program Aided Language Models: We are joined by Aman Madaan and Shuyan Zhou. They are both PhD students at the Language Technology Institute at Carnegie Mellon University. They join us to discuss their latest published paper, PAL: Program-aided Language Models. Aman and Shuyan... by Data Skeptic
32 min listen
Which Programming Language is ChatGPT Best At: In this episode, we have Alessio Buscemi, a software engineer at Lifeware SA. Alessio was a post-doctoral researcher at the University of Luxembourg. He joins us to discuss his paper, A Comparative Study of Code Generation using ChatGPT 3.5 across 10... by Data Skeptic
40 min listen
GraphText: On the show today, we are joined by Jianan Zhao, a Computer Science student at Mila and the University of Montreal. His research focus is on graph databases and natural language processing. He joins us to discuss how to use graphs with LLMs... by Data Skeptic
31 min listen
arXiv Publication Patterns: Today, we are joined by Rajiv Movva, a PhD student in Computer Science at Cornell Tech University. His research interest lies in the intersection of responsible AI and computational social science. He joins to discuss the findings of this work that... by Data Skeptic
28 min listen
Do LLMs Make Ethical Choices: We are excited to be joined by Josh Albrecht, the CTO of Imbue. Imbue is a research company whose mission is to create AI agents that are more robust, safer, and easier to use. He joins us to share findings of his work; Despite "super-human"... by Data Skeptic
29 min listen
Emergent Deception in LLMs: On today’s show, we are joined by Thilo Hagendorff, a Research Group Leader of Ethics of Generative AI at the University of Stuttgart. He joins us to discuss his research, . Thilo discussed how machine psychology is useful in machine learning... by Data Skeptic
27 min listen

Related podcast episodes

Skip carousel

Episode 28: Type Systems: In recent episodes we have discusses statically and dynamically typed languages and domain specific languages - topics that are much talked about in the community at the moment. In this episode we look at the foundation of programming languages : types. by Software Engineering Radio - the podcast for professional software developers
47 min listen
[MINI] k-d trees: This episode reviews the concept of k-d trees: an efficient data structure for holding multidimensional objects. Kyle gives Linhda a dictionary and asks her to look up words as a way of introducing the concept of binary search. We actually spend most... by Data Skeptic
14 min listen
Andrew Ollett, "Language of the Snakes" (U California Press, 2017): Ollett argues that Prakit is “the most important Indian language you’ve never heard of.” by New Books in Language
66 min listen
Andrew Ollett, "Language of the Snakes" (U California Press, 2017) by New Books in Literary Studies
66 min listen
Piers Kelly, "The Last Language on Earth: Linguistic Utopianism in the Philippines" (Oxford UP, 2021): An interview with Piers Kelly by New Books in Language
62 min listen
Piers Kelly, "The Last Language on Earth: Linguistic Utopianism in the Philippines" (Oxford UP, 2021): An interview with Piers Kelly by New Books in Anthropology
62 min listen
Does ChatGPT “Think”? A Cognitive Neuroscience Perspective with Anna Ivanova - #620 by The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)
45 min listen
Philippe Schlenker, "What It All Means: Semantics for (Almost) Everything" (MIT Press, 2022): An interview with Philippe Schlenker by New Books in Science
64 min listen
Philippe Schlenker, "What It All Means: Semantics for (Almost) Everything" (MIT Press, 2022): An interview with Philippe Schlenker by New Books in Language
64 min listen
Coulter George, "How Dead Languages Work" (Oxford UP, 2020): The book takes readers through Greek, Latin, Old English and the Germanic Languages, Sanskrit, Old Irish and the Celtic Languages, and Hebrew, introducing their phonology, morphology, lexicons, grammar, and excerpting passages from texts such as the Illiad, Beowulf, and the Rig Veda... by New Books in Literary Studies
65 min listen
Coulter George, "How Dead Languages Work" (Oxford UP, 2020): The book takes readers through Greek, Latin, Old English and the Germanic Languages, Sanskrit, Old Irish and the Celtic Languages, and Hebrew, introducing their phonology, morphology, lexicons, grammar, and excerpting passages from texts such as the Illiad, Beowulf, and the Rig Veda... by New Books in Language
65 min listen
Decodable Texts with Emily Gibbons, the Literacy Nest by Reading Teachers Lounge
57 min listen
Coulter George, "How Dead Languages Work" (Oxford UP, 2020): The book takes readers through Greek, Latin, Old English and the Germanic Languages, Sanskrit, Old Irish and the Celtic Languages, and Hebrew, introducing their phonology, morphology, lexicons, grammar, and excerpting passages from texts such as the Illiad, Beowulf, and the Rig Veda... by New Books in Irish Studies
65 min listen
Episode 160: Approximately English: In this episode, we explore the sounds represented by the letters L and R. Linguists refer to these sounds as ‘approximates,’ and they are some of the most challenging sounds in the English language. They are consonants with vowel-like qualities. by The History of English Podcast
80 min listen

Discover this podcast and so much more

The Theory of Formal Languages

The Theory of Formal Languages

Description

Titles in the series (100)

More Episodes from Data Skeptic

Related podcast episodes