Go: package main

import (
	"bufio"
	"fmt"
	"os"
)

var sc = bufio.NewScanner(os.Stdin)

func nextString() string {
	sc.Scan()
	return sc.Text()
}

func main() {
	sc.Buffer(make([]byte, 0), 1000000009)

	for {
		var s string
		s = nextString()
		if s == "." {
			break
		}
		var st []byte
		is_valid := true

		for _, value := range s {
			if value == '(' {
				st = append(st, byte(value))
			}
			if value == '[' {
				st = append(st, byte(value))
			}
			if value == ')' {
				if len(st) == 0 || st[len(st)-1] != '(' {
					is_valid = false
					break
				} else {
					st = st[:len(st)-1]
				}
			}
			if value == ']' {
				if len(st) == 0 || st[len(st)-1] != '[' {
					is_valid = false
					break
				} else {
					st = st[:len(st)-1]
				}
			}
		}
		if len(st) != 0 {
			is_valid = false
		}
		if is_valid {
			fmt.Println("yes")
		} else {
			fmt.Println("no")
		}
	}
}

C++: #include <stdio.h>
#include <cmath>
#include <algorithm>
#include <stack>
#include <queue>

using namespace std;

int main(){

	char buf[300];
	stack<char> S;
	bool Broken;

	while(true){
		fgets(buf,300,stdin);
		if(buf[0] == '.' && buf[1] == '\n')break;

		Broken = false;

		for(int i = 0; buf[i] != '\0' && buf[i] != '\n'; i++){
			if(buf[i] == '('){
				S.push('(');
			}else if(buf[i] == '['){
				S.push('[');
			}else if(buf[i] == ')'){
				if(S.empty() == true || S.top() != '('){
					Broken = true;
					break;
				}else{
					S.pop();
				}
			}else if(buf[i] == ']'){
				if(S.empty() == true || S.top() != '['){
					Broken = true;
					break;
				}else{
					S.pop();
				}
			}
		}

		if(!S.empty()){
			Broken = true;
			while(!S.empty())S.pop();
		}

		if(!Broken)printf("yes\n");
		else{
			printf("no\n");
		}
	}

	return 0;
}

C++: #include<iostream>
#include<stack>
using namespace std;

bool check(string str){
  stack<char> par;
  for(char c : str) {
    if(c == '(' or c == '[') {
      par.push(c);
    }else if(c == ')') {
      if(par.empty() or par.top() != '(') {
	return false;
      }
      par.pop();
    }else if(c == ']'){
      if(par.empty() or par.top() != '[') {
	return false;
      }
      par.pop();
    }
  }

  return true;
}

int main() {
  string str;
  while(true) {
    getline(cin, str);
    if(str == ".") break;

    if(check(str)) {
      cout << "yes" << endl;
    } else {
      cout << "no" << endl;
    }
  }
}

C++: #include <iostream>
#include <string>
#include <queue>
#include <stack>
#include <algorithm>
#include <list>
#include <vector>
#include <complex>
#include <utility>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cmath>
#include <climits>
#include <bitset>
#include <ctime>
#include <map>
#include <unordered_map>
#include <set>
#include <unordered_set>
#include <cassert>
#include <cstddef>
#include <iomanip>
#include <numeric>
#include <tuple>
#include <sstream>
#include <fstream>

using namespace std;
#define REP(i, n) for (int (i) = 0; (i) < (n); (i)++)
#define FOR(i, a, b) for (int (i) = (a); (i) < (b); (i)++)
#define RREP(i, a) for(int (i) = (a) - 1; (i) >= 0; (i)--)
#define FORR(i, a, b) for(int (i) = (a) - 1; (i) >= (b); (i)--)
#define DEBUG(C) cerr << #C << " = " << C << endl;
using LL = long long;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<LL>;
using VVL = vector<VL>;
using VD = vector<double>;
using VVD = vector<VD>;
using PII = pair<int, int>;
using PDD = pair<double, double>;
using PLL = pair<LL, LL>;
using VPII = vector<PII>;
#define ALL(a) begin((a)), end((a))
#define RALL(a) rbegin((a)), rend((a))
#define SORT(a) sort(ALL((a)))
#define RSORT(a) sort(RALL((a)))
#define REVERSE(a) reverse(ALL((a)))
#define MP make_pair
#define FORE(a, b) for (auto &&a : (b))
#define FIND(s, e) ((s).find(e) != (s).end())
#define EB emplace_back

const int INF = 1e9;
const int MOD = INF + 7;
const LL LLINF = 1e18;

void solve(string s) {
	int len = s.length();
	int k1 = 0, k2 = 0;
	char last = ' ';
	bool f = true;
	FORE(c, s) {
		if (c == '(') {
			last = '(';
			k1++;
		} else if(c == '[') {
			last = '[';
			k2++;
		}else if (c == ')') {
			if (last != '(' || k1 <= 0) f = false;
			k1--;
		} else if(c == ']') {
			if (last != '[' || k2 <= 0) f = false;
			k2--;
		}
	}
	if (k1 || k2 || !f) {
		cout << "no" << endl;
	} else {
		cout << "yes" << endl;
	}
}

int main(void) {
	string s;
	while (getline(cin, s)) {
		if (s == ".") break;
		solve(s);
	}
}

C++: #pragma GCC optimize("Ofast")
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define EPS (1e-7)
#define INF (1e9)
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
#define all(x) x.begin(),x.end()
const double PI = acos(-1);
const ll MOD = 1000000007;
template<class T>
inline bool chmax(T &a, T b) {
    if(a < b) {
        a = b;
        return true;
    }
    return false;
}
 
template<class T>
inline bool chmin(T &a, T b) {
    if(a > b) {
        a = b;
        return true;
    }
    return false;
}
///////////////////////////////////////////////////////////////
 
int main() {
    ios::sync_with_stdio(false); cin.tie(nullptr);
    while (true) {
        string S; getline(cin,S);
        if (S == ".") break;
        int N = S.size();
        
        bool flag = true;
        stack<char> data;
        data.emplace('#');
        rep(i,N) {
            if (S[i] == '(' || S[i] == '[') data.emplace(S[i]);
            if (S[i] == ')') {
                if (data.top() != '(') flag = false;
                else data.pop();
            }
            if (S[i] == ']') {
                if (data.top() != '[') flag = false;
                else data.pop();
            }
        }
        if (data.size() != 1) flag = false;

        cout << (flag ? "yes" : "no") << endl;
    }
}

C++: #include <stdio.h>

#define MAX_LSIZE 100  // 一行の最大の長さ 
char buff[MAX_LSIZE+2];  // 一行の文字列を格納する配列     
// 行末の改行文字、NULL 文字も格納される 
char stack[MAX_LSIZE];  // スタック 
int sp;    // スタックポインタ 
 
int main() {   
    char c;  // 処理する文字を入れる変数   
    int match; // 括弧のバランス状況を表す   // 1 -> バランス,  0 -> 非バランス, -1 -> まだ不明   
    int i;   
    while(1){     
        fgets(buff, MAX_LSIZE+2, stdin); // 標準入力より配列 buff に１行読み込む     
        if(buff[0] == '.') break; // 先頭の文字が '.' なら終了     
        match = -1;  // バランス状況はまだ不明     
        sp = 0;   // stack pointer sp を初期化     
        for(i=0; ; i++){ // 文字列の先頭から順に１文字ずつ以下の処理を行う       
            c = buff[i];  // c = 処理対象の文字       
            switch(c){       
                case '(':       
                case '[':  
                        stack[sp++] = c; 
                        break;  // stack に 左括弧 を入れる       
                case ')': // stack が空か、 // stack から取り出した文字が '(' でなければバランスしていない  
                    if(sp==0) match=0;  
                    else if(stack[--sp] != '(') match = 0;  
                    break;       
                case ']': // stack が空か、 // stack から取り出した文字が '[' でなければバランスしていない  
                    if(sp==0) match=0;  
                    else if(stack[--sp] != '[') match = 0;  
                    break;       
                case '.': // stack が空ならバランス、そうでなければ非バランス  
                    if(sp==0) match=1;  
                    else match=0;       
            }       
            if(match != -1) break; // 結果が判明したので終了    
        } 
        if(match) printf("yes\n"); // 結果を出力     
        else printf("no\n");   
    } 
}

C++: #include<iostream>
#include<stack>
#define rep(i,n) for(int i=0; i<n; i++)
using namespace std;
string s;
bool solve(){
  stack<char> st;
  rep(i,s.size()){
    if(s[i] == '(') st.push(s[i]);
    else if(s[i] == '[' ) st.push(s[i]);
    else if(s[i] == ')'){
      if(st.top() != '(') return false;
      if(st.empty()) return false;
      st.pop();
    }
    else if(s[i] == ']'){
      if(st.top() != '[') return false;
      if(st.empty()) return false;
      st.pop();
    }
    return st.empty();
  }
}
int main(){
  bool flag;
  while(1){
    getline(cin,s);
    if(s == ".") break;
    if(solve()) cout << "yes" << endl;
    else cout << "no" << endl;
  }
  return 0;
}