hale

CS3518 Formal Languages and Computability: Week One Summary

Formal Languages

Terminology

• Symbol: basic unit
• Alphabet: finite set of symbols
• String over alphabet T: finite sequence of symbols from T
• Empty string: string with no symbols, lambda, λ.

hale

├── src
│   └── com
│       └── rmiserv
│           ├── Hello.java
│           ├── HelloInterface.java
│           └── HelloServer.java
└── target
    ├── classes
    │   └── com
    │       └── rmiserv

hale

 ✘ ⚙ ⮀ ~/code/venue4us-experimental ⮀ ⭠ master± ⮀ play compile
[info] Loading project definition from /Users/philiphale/code/venue4us-experimental/project
[info] Set current project to venue4us (in build file:/Users/philiphale/code/venue4us-experimental/)
[info] Compiling 12 Scala sources and 16 Java sources to /Users/philiphale/code/venue4us-experimental/target/scala-2.10/classes...
[warn] there were 2 feature warnings; re-run with -feature for details
[warn] one warning found
[error] /Users/philiphale/code/venue4us-experimental/target/scala-2.10/src_managed/main/com/feth/play/module/pa/controllers/routes.java:8: cannot find symbol
[error] symbol  : class ReverseAuthenticate
[error] location: package com.feth.play.module.pa.controllers
[error] public static final com.feth.play.module.pa.controllers.ReverseAuthenticate Authenticate = new com.feth.play.module.pa.controllers.ReverseAuthenticate();

hale

'use strict';
var lrSnippet = require('grunt-contrib-livereload/lib/utils').livereloadSnippet;
var mountFolder = function (connect, dir) {
  return connect.static(require('path').resolve(dir));
};

module.exports = function (grunt) {
  // load all grunt tasks
  require('matchdep').filterDev('grunt-*').concat(['gruntacular']).forEach(grunt.loadNpmTasks);

hale

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Game Name="simple">
  <Map>
    <Tiles>
      <Vector>
        <Floor Height="50" Width="100" X="0.0" Y="0.0"/>
        <Floor Height="5" Width="5" X="20.0" Y="50.0"/>
        <Floor Height="5" Width="5" X="70.0" Y="50.0"/>
        <Floor Height="50" Width="15" X="85.0" Y="50.0"/>
        <Floor Height="45" Width="85" X="0.0" Y="55.0"/>

hale

'use strict';

angular.module('venue4usFrontendApp', ['ui'])
  .config(['$routeProvider', function ($routeProvider) {
    $routeProvider
      //.when('/', {
        //templateUrl: 'views/main.html',
        //controller: 'MainCtrl'
      //})
      .when('/venues/:id', {

hale

Path found! 
Path is 44 steps long.
Path took 8 milliseconds to calculate.

1111101111101XXX1111
1111101111101X0X1111
1111101111101X0XXXO1
1111101111101X011111
1111111100101X000001
1111111100101X111111

hale

 ~/code/angfun ⮀ yo angular                        
Would you like to include Twitter Bootstrap? (Y/n) 
If so, would you like to use Twitter Bootstrap for Compass (as opposed to vanilla CSS)? (Y/n) 
Would you like to include angular-resource.js? (Y/n) 
Would you like to include angular-cookies.js? (Y/n) 
Would you like to include angular-sanitize.js? (Y/n) 
   create app/styles/main.scss
   create app/styles/_compass_twitter_bootstrap.scss
   create app/styles/_compass_twitter_bootstrap_awesome.scss
   create app/styles/_compass_twitter_bootstrap_responsive.scss

hale

 ~/code/angfun ⮀ tree
.
├── Gruntfile.js
├── app
│   ├── 404.html
│   ├── components
│   │   ├── angular
│   │   │   ├── angular.js
│   │   │   ├── angular.min.js
│   │   │   └── component.json

hale

 ~/code/dungeon-2013v1 ⮀ ⭠ master± ⮀ mvn clean compile exec:java
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building AI For Computer Games: Dungeon 1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ dungeon ---
[INFO] Deleting /Users/philiphale/code/dungeon-2013v1/target
[INFO]